CoRR, February 2014
Mark McClelland, Tara A. Estlin, Mark E. Campbell:
Qualitative Relational Mapping and Navigation for Planetary Rovers.
Yeon-sup Lim, Bruno F. Ribeiro, Don Towsley:
Classifying Latent Infection States in Complex Networks.
Christos K. Kourtellaris, Charalambos D. Charalambous:
Capacity of the Binary State Symmetric Channel with Cost Constraint.
Van Bang Le, Andrea Oversberg, Oliver Schaudt:
Polynomial time recognition of squares of ptolemaic graphs and 3-sun-free split graphs.
Paulette Acheson, Cihan H. Dagli, Nil H. Kilicay-Ergin:
Fuzzy Decision Analysis in Negotiation between the System of Systems Agent and the System Agent in an Agent-Based Model.
Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao:
Branching Bisimilarity Checking for PRS.
Nikolay Atanasov, Jerome Le Ny, George J. Pappas:
Technical Report: Distributed Algorithms for Stochastic Source Seeking with Mobile Robot Networks.
Amir Abboud, Virginia Vassilevska Williams:
Popular conjectures imply strong lower bounds for dynamic problems.
Xue Luo, Stephen S.-T. Yau, Mingyi Zhang, Huaiqing Zuo:
On Classification of Toric Surface Codes of Low Dimension.


Mehran Alidoost Nia, Reza Ebrahimi Atani:
A novel datatype architecture support for programming languages.
Sehrish Nizamani, Khalil Khoumbati, Imdad Ali Ismaili, Saad Nizamani:
A Conceptual Framework for ERP Evaluation in Universities of Pakistan.
Alexandre Maurer, Sébastien Tixeuil, Xavier Défago:
Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults.
Saieed Akbari, Mina Dalirrooyfard, S. Davodpoor, K. Ehsani, R. Sherkati:
On the Decision Number of Graphs.
Abhishek Halder, Raktim Bhattacharya:
Probabilistic Model Validation for Uncertain Nonlinear Systems.
Zhengjun Cao, Lihua Liu:
Remarks on AKS Primality Testing Algorithm and A Flaw in the Definition of P.
Abhishek Halder, Kooktae Lee, Raktim Bhattacharya:
A Probabilistic Method for Nonlinear Robustness Analysis of F-16 Controllers.


Alison Burrows, Rachel Gooberman-Hill, Ian Craddock, David Coyle:
SPHERE: Meaningful and Inclusive Sensor-Based Home Healthcare.
George Kesidis, Guodong Pang:
Golden-rule capacity allocation for distributed delay management in peer-to-peer networks.
Burcu Kantarci, Vincent Labatut:
Classification of Complex Networks Based on Topological Properties.
Bartosz Lipinski, Wojciech Mazurczyk, Krzysztof Szczypiorski:
Improving Hard Disk Contention-based Covert Channel in Cloud Computing Environment.
Stefanie Jegelka, Jeff A. Bilmes:
Graph Cuts with Interacting Edge Costs - Examples, Approximations, and Algorithms.
Di Li, Soummya Kar, José M. F. Moura, H. Vincent Poor, Shuguang Cui:
Distributed Kalman Filtering over Big Data: Analysis Through Large Deviations of Random Riccati Equations.

Sardar Anisul Haque, Marc Moreno Maza, Ning Xie:
A Many-core Machine Model for Designing Algorithms with Minimum Parallelism Overheads.
Sazilah Salam, Siti Nurul Mahfuzah Mohamad, Norasiken Bakar, Linda Khoo Mei Sui:
The Designing of Online Multiple Intelligence Tools for Lecturers at Polytechnic.
Duo Zhang, Benjamin I. P. Rubinstein, Jim Gemmell:
Principled Graph Matching Algorithms for Integrating Multiple Data Sources.
Gang Niu, Bo Dai, Marthinus Christoffel du Plessis, Masashi Sugiyama:
Transductive Learning with Multi-class Volume Approximation.
Pranam Janney, Glenn Geers:
A Robust Framework for Moving-Object Detection and Vehicular Traffic Density Estimation.
Victor R. Basili, Jens Heidrich, Mikael Lindvall, Jürgen Münch, Myrna Regardie, H. Dieter Rombach, Carolyn B. Seaman, Adam Trendowicz:
GQM+Strategies: A Comprehensive Methodology for Aligning Business Strategies with Software Measurement.
Jürgen Münch, Ansgar Lamersdorf:
Systematic Task Allocation Evaluation in Distributed Software Development.
Xiaoming Chen, Chau Yuen:
Performance Analysis and Optimization for Interference Alignment over MIMO Interference Channels with Limited Feedback.
Michael Heindlmaier, Onurcan Iscan:
Rate-Distortion Properties of Single-Layer Quantize-and-Forward for Two-Way Relaying.
Sebastien Mathieu, Quentin Louveaux, Damien Ernst, Bertrand Cornélusse:
A quantitative analysis of the effect of flexible loads on reserve markets.
Hui Gao, Tiejun Lv, Di Fang, Shaoshi Yang, Chau Yuen:
Limited Feedback-Based Interference Alignment for Interfering Multi-Access Channels.
SeoungKyou Lee, Aaron Becker, Sándor P. Fekete, Alexander Kröller, James McLurkin:
Exploration via Structured Triangulation by a Multi-Robot System with Bearing-Only Low-Resolution Sensors.


Evan Sultanik:
A Bound on the Expected Optimality of Random Feasible Solutions to Combinatorial Optimization Problems.
Rangeet Mitra, Amit Kumar Mishra, Tarun Choubisa:
A Lower Bound for the Variance of Estimators for Nakagami m Distribution.
Qi Qian, Rong Jin, Shenghuo Zhu, Yuanqing Lin:
An Integrated Framework for High Dimensional Distance Metric Learning and Its Application to Fine-Grained Visual Categorization.
Florence Bénézit, Salah-Eddine Elayoubi, Raluca-Maria Indre, Alain Simonian:
Modelling Load Balancing and Carrier Aggregation in Mobile Networks.
Hubert Haoyang Duan:
Applying Supervised Learning Algorithms and a New Feature Selection Method to Predict Coronary Artery Disease.
David Auger, Pierre Coucheney, Yann Strozecki:
Finding Optimal Strategies of Almost Acyclic Simple Stochatic Games.
Maxime Amblard, Christian Retoré:
Normalization and sub-formula property for Lambek with product and PCMLL - Partially Commutative Multiplicative Linear Logic.
Diederik P. Kingma, Max Welling:
Efficient Gradient-Based Inference through Transformations between Bayes Nets and Neural Nets.
Anupam Chattopadhyay, Chander Chandak, Kaushik Chakraborty:
Complexity Analysis of Reversible Logic Synthesis.
Vesal Hakami, Mehdi Dehghan:
Cognitive Forwarding Control in Wireless Ad-Hoc Networks with Slow Fading Channels.
Mustafa S. Mehmetoglu, Emrah Akyol, Kenneth Rose:
A Deterministic Annealing Approach to Witsenhausen's Counterexample.
Alican Bozkurt, Musa Tunç Arslan, Rasim Akin Sevimli, Cem Emre Akbas, A. Enis Çetin:
Approximate Computation of DFT without Performing Any Multiplications: Applications to Radar Signal Processing.
Alekh Agarwal, Daniel J. Hsu, Satyen Kale, John Langford, Lihong Li, Robert E. Schapire:
Taming the Monster: A Fast and Simple Algorithm for Contextual Bandits.
Vahed Qazvinian, Dragomir R. Radev, Saif M. Mohammad, Bonnie J. Dorr, David M. Zajic, Michael Whidby, Taesun Moon:
Generating Extractive Summaries of Scientific Paradigms.
Sebastian Ordyniak, Stefan Szeider:
Parameterized Complexity Results for Exact Bayesian Network Structure Learning.
Peter Nightingale, Ian Philip Gent, Christopher Jefferson, Ian Miguel:
Short and Long Supports for Constraint Propagation.
Javier Garcia, Fernando Fernandez:
Safe Exploration of State and Action Spaces in Reinforcement Learning.
Gert de Cooman, Enrique Miranda:
Irrelevant and independent natural extension for sets of desirable gambles.
Marta R. Costa-Jussà, Carlos A. Henríquez Q., Rafael E. Banchs:
Evaluating Indirect Strategies for Chinese-Spanish Statistical Machine Translation.
Amanda Jane Coles, Andrew Ian Coles, Maria Fox, Derek Long:
A Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning.
Nima Taghipour, Daan Fierens, Jesse Davis, Hendrik Blockeel:
Lifted Variable Elimination: Decoupling the Operators from the Constraint Language.
Frans Adriaan Oliehoek, Matthijs T. J. Spaan, Christopher Amato, Shimon Whiteson:
Incremental Clustering and Expansion for Faster Optimal Planning in Dec-POMDPs.
Tomasz Pawel Michalak, Aadithya V. Karthik, Piotr L. Szczepanski, Balaraman Ravindran, Nicholas R. Jennings:
Efficient Computation of the Shapley Value for Game-Theoretic Network Centrality.
Amit Metodi, Michael Codish, Peter James Stuckey:
Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems.
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli:
Description Logic Knowledge and Action Bases.
Guangtao Wang, Qinbao Song, Heli Sun, Xueying Zhang, Baowen Xu, Yuming Zhou:
A Feature Subset Selection Algorithm Automatic Recommendation Method.
Gerald Tesauro, David Gondek, Jonathan Lenchner, James Fan, John M. Prager:
Analysis of Watson's Strategies for Playing Jeopardy!
Yoram Bachrach, Ely Porat, Jeffrey S. Rosenschein:
Sharing Rewards in Cooperative Connectivity Games.

Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
Reasoning about Explanations for Negative Query Answers in DL-Lite.
Raphaël Mourad, Christine Sinoquet, Nevin Lianwen Zhang, Tengfei Liu, Philippe Leray:
A Survey on Latent Tree Models and Applications.
Maytham Alabbas, Allan Ramsay:
Natural Language Inference for Arabic Using Extended Tree Edit Distance with Subtrees.
Masahiro Ono, Brian C. Williams, Lars Blackmore:
Probabilistic Planning for Continuous Dynamic Systems under Bounded Risk.
Nadja Betzler, Arkadii Slinko, Johannes Uhlmann:
On the Computation of Fully Proportional Representation.
Neal Andrew Snooke, Mark H. Lee:
Qualitative Order of Magnitude Energy-Flow-Based Failure Modes and Effects Analysis.
Maliheh Aramon Bajestani, J. Christopher Beck:
Scheduling a Dynamic Aircraft Repair Shop with Limited Repair Resources.
Shaowei Cai, Kaile Su, Chuan Luo, Abdul Sattar:
NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover.
Jose David Fernández Rodriguez, Francisco J. Vico:
AI Methods in Algorithmic Composition: A Comprehensive Survey.
Shafiq Rayhan Joty, Giuseppe Carenini, Raymond T. Ng:
Topic Segmentation and Labeling in Asynchronous Conversations.
Tal Grinshpoun, Alon Grubshtein, Roie Zivan, Arnon Netzer, Amnon Meisels:
Asymmetric Distributed Constraint Optimization Problems.
Christer Bäckström, Peter Jonsson:
A Refined View of Causal Graphs and Component Sizes: SP-Closed Graph Classes and Beyond.
Thomas Léauté, Boi Faltings:
Protecting Privacy through Distributed Computation in Multi-agent Decision Making.
Diederik Marijn Roijers, Peter Vamplew, Shimon Whiteson, Richard Dazeley:
A Survey of Multi-Objective Sequential Decision-Making.

Duo Han, Yilin Mo, Junfeng Wu, Sean Weerakkody, Bruno Sinopoli, Ling Shi:
Stochastic Event-triggered Sensor Schedule for Remote State Estimation.
Franck Cassez, Ron van der Meyden, Chenyi Zhang:
The Complexity of Synchronous Notions of Information Flow Security.
Victoria Kostina, Yury Polyanskiy, Sergio Verdú:
Variable-length compression allowing errors (extended).
Jingwen Bai, Chris Dick, Ashutosh Sabharwal:
Vector Bin-and-Cancel for MIMO Distributed Full-Duplex.
Shafii Muhammad Abdulhamid, Fasilat Folagbayo Ibrahim:
Controlling Citizens Cyber Viewing Using Enhanced Internet Content Filters.
S. R. Bhalgama, C. C. Kavar, S. S. Parmar:
LWRP: Low Power Consumption Weighting Replacement Policy using Buffer Memory.
Muhammad F. I. Chowdhury, Claude-Pierre Jeannerod, Vincent Neiger, Éric Schost, Gilles Villard:
Faster Algorithms for Multivariate Interpolation with Multiplicities and Simultaneous Polynomial Approximations.
Abhik Kumar Das, Siddhartha Banerjee, Sriram Vishwanath:
Linear Network Coding for Multiple Groupcast Sessions: An Interference Alignment Approach.
B. A. N. M. Bambarasinghe, H. M. S. Huruggamuwa, Roshan G. Ragel, Swarnalatha Radhakrishnan:
Axis2UNO: Web Services Enabled Openoffice.org.
Kinjal N. Shah, Kirit R. Rathod, Shardul J. Agravat:
A survey on Human Computer Interaction Mechanism Using Finger Tracking.
Shafii Muhammad Abdulhamid, Muhammad Shafie Abd Latiff, Mohammed Bakri Bashir:
On-Demand Grid Provisioning Using Cloud Infrastructures and Related Virtualization Tools: A Survey and Taxonomy.
Debi Prosad Dogra, Karthik Nandam, Arun K. Majumdar, Shamik Sural, Jayanta Mukhopadhyay, Bandana Majumdar, Arun Kumar Singh, Suchandra Mukherjee:
User Friendly Implementation for Efficiently Conducting Hammersmith Infant Neurological Examination.

Andrea Soltoggio:
Short-term plasticity as cause-effect hypothesis testing in distal reward learning.
Dominik Kowald, Paul Seitlinger, Christoph Trattner, Tobias Ley:
Forgetting the Words but Remembering the Meaning: Modeling Forgetting in a Verbal and Semantic Tag Recommender.
Nikolaos Pappas, Anthony Ephremides, Apostolos Traganitis:
Stability and Performance Issues of a Relay Assisted Multiple Access Scheme with MPR Capabilities.
V. Karthikeyan, S. Geethanjali, M. Mekala, T. Deepika:
Water Eminence Scrutinizing Scheme Based On Zigbee and Wireless Antenna Expertise - A Study.

Nathanael Perraudin, David I. Shuman, Gilles Puy, Pierre Vandergheynst:
UNLocBoX A matlab convex optimization toolbox using proximal splitting methods.

Philipp Singer, Denis Helic, Behnam Taraghi, Markus Strohmaier:
Memory and Structure in Human Navigation Patterns.
S. Anand, Ofer Arazy, Narayan B. Mandayam, Oded Nov:
A Game Theoretic Analysis of Collaboration in Wikipedia.
Alexandre Lacoste, Hugo Larochelle, François Laviolette, Mario Marchand:
Sequential Model-Based Ensemble Optimization.
Jordi Arjona Aroca, Angelos Chatzipapas, Antonio Fernández Anta, Vincenzo Mancuso:
A Measurement-based Analysis of the Energy Consumption of Data Center Servers.
Hooman Jarollahi, Naoya Onizawa, Takahiro Hanyu, Warren J. Gross:
Associative Memories Based on Multiple-Valued Sparse Clustered Networks.
Alexandru Florin Antone, Radu Arsinte:
A Study on the Optimal Implementation of Statistical Multiplexing in DVB Distribution Systems.
René van Bevern, Matthias Mnich, Rolf Niedermeier, Mathias Weller:
Interval scheduling and colorful independent sets.

Varun Jampani, Sebastian Nowozin, Matthew Loper, Peter V. Gehler:
The Informed Sampler: A Discriminative Approach to Bayesian Inference in Generative Computer Vision Models.


Rui Wu, Vinod M. Prabhakaran, Pramod Viswanath, Yi Wang:
Interference Channels with Half-Duplex Source Cooperation.
Rich Meier, Eduardo Cotilla Sanchez, Alan Fern:
A Policy Switching Approach to Consolidating Load Shedding and Islanding Protection Schemes.
Mohammadreza Doostmohammadian, Usman A. Khan:
Graphic-theoretic distributed inference in social networks.
Olawale S. Adebayo, Shafii Muhammad Abdulhamid:
E- Exams System for Nigerian Universities with Emphasis on Security and Result Integrity.
Scott Ainsworth, Michael L. Nelson, Herbert Van de Sompel:
A Framework for Evaluation of Composite Memento Temporal Coherence.
Ali Rakhshan, Hossein Pishro-Nik, Donald L. Fisher, Mohammad Nekoui:
Tuning Collision Warning Algorithms to Individual Drivers for Design of Active Safety Systems.
Seyed Gholamreza Eslami, Ali Peiravi, Behzad Molavi:
A Survey on Factors Affecting Iran's Fuel Rationing Smart Card User Acceptance and Security.
(Withdrawn) Construction of dyadic MDS matrices for cryptographic applications.
Ali Zarezade, Hamid R. Rabiee, Ali Soltani-Farani, Ahmad Khajenezhad:
Patchwise Joint Sparse Tracking with Occlusion Detection.
Ahmed M. Alaa:
Defeating the Eavesdropper: On the Achievable Secrecy Capacity using Reconfigurable Antennas.
Liliana Pasquale, Yijun Yu, Luca Cavallaro, Mazeiar Salehie, Thein Than Tun, Bashar Nuseibeh:
Engineering Adaptive Digital Investigations using Forensics Requirements.
Hugo Nicolau, João Guerreiro, Tiago João Vieira Guerreiro:
Stressing the Boundaries of Mobile Accessibility.
Siti Nurul Hayatie Ishak, Ariza Nordin:
Sequencing Participatory Action Research and i* Modeling Framework in Capturing Multiple Roles Requirements.
Vesal Hakami, Mehdi Dehghan:
Learning Stationary Correlated Equilibria in Constrained General-Sum Stochastic Games.
Tiago João Vieira Guerreiro:
User-Sensitive Mobile Interfaces: Accounting for Individual Differences amongst the Blind.
Tiago João Vieira Guerreiro, Hugo Nicolau, João Oliveira, Joaquim A. Jorge, Daniel Gonçalves:
Understanding Individual Differences: Towards Effective Mobile Interface Design and Adaptation for the Blind.
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud:
Breaking a monad-comonad symmetry between computational effects.
Muhammed O. Sayin, Suleyman Serdar Kozat:
Compressive Diffusion Strategies Over Distributed Networks for Reduced Communication Load.
Aaron Bohy, Véronique Bruyère, Jean-François Raskin:
Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes.
Mohsen Yousefbeiki, Osama N. Alrabadi, Julien Perruisseau-Carrier:
Efficient MIMO Transmission of PSK Signals With a Single-Radio Reconfigurable Antenna.
Hector Zenil:
Levels of Abstraction and the Apparent Contradictory Philosophical Legacy of Turing and Shannon.
Hasim Sak, Andrew W. Senior, Françoise Beaufays:
Long Short-Term Memory Based Recurrent Neural Network Architectures for Large Vocabulary Speech Recognition.
Carlos Pedro Gonçalves:
Quantum Cybernetics and Complex Quantum Systems Science - A Quantum Connectionist Exploration.
Wojciech Bieganski, Andrzej J. Kasinski:
Image Acquisition in an Underwater Vision System with NIR and VIS Illumination.


Gábor Rétvári, János Tapolcai, Attila Korösi, András Majdán, Zalán Heszberger:
Compressing IP Forwarding Tables: Towards Entropy Bounds and Beyond.
Jingchao Sun, Rui Zhang, Jinxue Zhang, Yanchao Zhang:
TouchIn: Sightless Two-factor Authentication on Multi-touch Mobile Devices.
Shafii Muhammad Abdulhamid, Ismaila Idris:
Design Evaluation of Some Nigerian University Portals: A Programmer's Point of View.
Ismaila Idris, Shafii Muhammad Abdulhamid:
An Improved AIS Based E-mail Classification Technique for Spam Detection.
Aruna G. R., Sivan Arul Selvan:
A Survey on Delay-Aware Network Structure for Wireless Sensor Networks with Consecutive Data Collection Processes.
Rubia R., Sivan Arul Selvan:
A Survey on Mobile Data Gathering in Wireless Sensor Networks - Bounded Relay.
Manojkumar M. K., Sathya D.:
A Survey on an Effective Defense Mechanism against Reactive Jamming Attacks in WSN.
Nishant Vadnere, Rupa G. Mehta, Dipti P. Rana, Narendra. J. Mistry, Mukesh M. Raghuwanshi:
Incremental classification using Feature Tree.
Eli A. Meirom, Chris Milling, Constantine Caramanis, Shie Mannor, Ariel Orda, Sanjay Shakkottai:
Localized epidemic detection in networks with overwhelming noise.
Mohammed El Amine Abderrahim:
Vers une interface pour l enrichissement des requetes en arabe dans un systeme de recherche d information.
Jorge González-Domínguez, Evangelos Georganas, Yili Zheng, María J. Martín:
Constructing Performance Models for Dense Linear Algebra Algorithms on Cray XE Systems.
Brijender Kahanwal:
Towards High Performance Computing (Hpc) Through Parallel Programming Paradigms and Their Principles.
Ricardo João Silveira Santos Gamboa:
Mnemonical Body Shortcuts: Gestural Interface for Mobile Devices.
Yoshiyuki Kabashima, Florent Krzakala, Marc Mézard, Ayaka Sakata, Lenka Zdeborová:
Phase transitions and sample complexity in Bayes-optimal matrix factorization.
Yanik Ngoko, Christophe Cérin, Alfredo Goldman, Dejan S. Milojicic:
Backtracking algorithms for service selection.

Rushirajsinh L. Zala, Brijesh B. Mehta, Mahipalsinh R. Zala:
A Survey on Spatial Co-location Patterns Discovery from Spatial Datasets.
Abhishek Bhattacharya, Tanusree Chatterjee:
An Estimation Method of Measuring Image Quality for Compressed Images of Human Face.
N. N. Praboo, P. K. Bhaba:
Simulation work on Fractional Order PIλ Control Strategy for speed control of DC motor based on stability boundary locus method.
Deepak Ranjan Nayak, Sumit Kumar Sahu, Jahangir Mohammed:
A Cellular Automata based Optimal Edge Detection Technique using Twenty-Five Neighborhood Model.
Kai Berger, Jeyarajan Thiyagalingam:
Real-time Pedestrian Surveillance with Top View Cumulative Grids.

David M. J. Tax, Veronika Cheplygina, Marco Loog:
Quantile Representation for Indirect Immunofluorescence Image Classification.
(Withdrawn) Reasoning about Games via a First-order Modal Model Checking Approach.
Zhang-Hua Fu, Jin-Kao Hao:
A Three-Phase Search Approach for the Quadratic Minimum Spanning Tree Problem.
Florent Krzakala, Andre Manoel, Eric W. Tramel, Lenka Zdeborová:
Variational Free Energies for Compressed Sensing.
Philipp Singer, Fabian Flöck, Clemens Meinhart, Elias Zeitfogel, Markus Strohmaier:
Evolution of Reddit: From the Front Page of the Internet to a Self-referential Community?
Ragnar Nevries, Christian Rosenke:
Towards a Characterization of Leaf Powers by Clique Arrangements.
Alexandre Candlot, Nicolas Perry, Alain Bernard, Samar Ammar-Khodja:
Deployment of an Innovative Resource Choice Method for Process Planning.
Luca Bortolussi, Guido Sanguinetti:
Smoothed Model Checking for Uncertain Continuous Time Markov Chains.
A. P. Sarath Chandar, Stanislas Lauly, Hugo Larochelle, Mitesh M. Khapra, Balaraman Ravindran, Vikas C. Raykar, Amrita Saha:
An Autoencoder Approach to Learning Bilingual Word Representations.

Yuxin Chen, Leonidas J. Guibas, Qi-Xing Huang:
Near-Optimal Joint Object Matching via Convex Relaxation.


Omar Arif, Ganesh Sundaramoorthi, Byung-Woo Hong, Anthony J. Yezzi:
Tracking via Motion Estimation with Physically Motivated Inter-Region Constraints.

Antonio Elias Fabris, Marcelo Zanchetta do Nascimento, Valério Ramos Batista:
Programming plantation lines on driverless tractors.
Marco Gaboardi, Emilio Jesús Gallego Arias, Justin Hsu, Aaron Roth, Zhiwei Steven Wu:
Dual Query: Practical Private Query Release for High Dimensional Data.

Carol A. Niznik:
The Tactical Optimal Strategy Game (TOSG) Protocol Cockpit Software Control For Massive Ordnance Penetrator Release.
Renchu Song, Weiwei Sun, Baihua Zheng, Yu Zheng:
PRESS: A Novel Framework of Trajectory Compression in Road Networks.
Xinchen Zhang, Martin Haenggi:
The Performance of Successive Interference Cancellation in Random Wireless Networks.
Ansgar Lamersdorf, Jürgen Münch, H. Dieter Rombach:
Towards a Multi-criteria Development Distribution Model: An Analysis of Existing Task Distribution Approaches.
Martina Cardone, Daniela Tuninetti, Raymond Knopp, Umer Salim:
New Outer Bounds for the Interference Channel with Unilateral Source Cooperation.

Kangqi Liu, Meixia Tao, Zhengzheng Xiang, Xin Long:
Generalized Signal Alignment For MIMO Two-Way X Relay Channels.
(Withdrawn) New LDPC Codes Using Permutation Matrices with Higher Girth than QC-LDPC Codes Constructed by Fossorier.
Mariona Vilà, Jordi Pereira:
A note on 'Exact and approximate methods for a one-dimensional minimax bin-packing problem' [Annals of Operations Research (2013) 206: 611-626].
Wasantha Samarathunga, Masatoshi Seki, Hidenobu Saito, Ken Ichiryu, Yasuhiro Ohyama:
Product Evaluation In Elliptical Helical Pipe Bending.
Petr N. Vabishchevich:
Numerical solving the boundary value problem for fractional powers of elliptic operators.
Wasantha Samarathunga, Masatoshi Seki, Hidenobu Saito, Ken Ichiryu, Yasuhiro Ohyama:
Vertical Clustering of 3D Elliptical Helical Data.
Vidal Roca, Vicente Torres, Tobias Kretz, Karsten Lehmann, Ingmar Hofsäß:
How to Apply Assignment Methods that were Developed for Vehicular Traffic to Pedestrian Microsimulations.
Alexander Igamberdiev, André Schulz:
A Duality Transform for Constructing Small Grid Embeddings of 3d Polytopes.
John David Osborne, Binod Gyawali, Thamar Solorio:
Evaluation of YTEX and MetaMap for clinical concept recognition.
Petr Tichavský, Anh Huy Phan, Andrzej Cichocki:
Tensor diagonalization - a new tool for PARAFAC and block-term decomposition.
Arash Khabbazibasmenj, Aboulnasr Hassanien, Sergiy A. Vorobyov:
How Many Beamforming Vectors Generate the Same Beampattern?
Carol A. Niznik:
Homeland Defense and Security Universal Interface Software (HDUIS) Protocol Communication Gateway UIS Protocol Enhancements, Alterations and Attachments.
Abhishek Halder, Raktim Bhattacharya:
Geodesic Density Tracking with Applications to Data Driven Modeling.
Liang Ma, Wei Zhang, Bo Hu, Damien Chablat, Fouad Bennis, François Guillaume:
Determination of subject-specific muscle fatigue rates under static fatiguing operations.
Nicolas T. Courtois, Lear Bahack:
On Subversive Miner Strategies and Block Withholding Attack in Bitcoin Digital Currency.
Blake Schultze, Micah Witt, Yair Censor, Reinhard W. Schulte, Keith Evan Schubert:
Performance of Hull-Detection Algorithms For Proton Computed Tomography Reconstruction.

Tao Mao, Laura E. Ray:
Frequency-Based Patrolling with Heterogeneous Agents and Limited Communication.
Smita Jolania, Sandeep Toshniwal:
Performance Improvement of OFDM System Using Iterative Signal Clipping With Various Window Techniques for PAPR Reduction.
Linda Zeger, Muriel Médard:
On Scalability of Wireless Networks: A Practical Primer for Large Scale Cooperation.
Ali Makhdoumi, Salman Salamatian, Nadia Fawaz, Muriel Médard:
From the Information Bottleneck to the Privacy Funnel.
Flavio Figueiredo, Jussara M. Almeida, Marcos André Gonçalves, Fabrício Benevenuto:
On the Dynamics of Social Media Popularity: A YouTube Case Study.
Santa Agreste, Pasquale De Meo, Emilio Ferrara, Sebastiano Piccolo, Alessandro Provetti:
Analysis of a heterogeneous social network of humans and cultural objects.
Saleh Soltan, Dorian Mazauric, Gil Zussman:
Cascading Failures in Power Grids - Analysis and Algorithms.
Caiming Xiong, David M. Johnson, Jason J. Corso:
Active Clustering with Model-Based Uncertainty Reduction.




Song-Nam Hong, Giuseppe Caire:
On the Performance of Dense Wireless Networks: No Linear Scaling in Practice.
Sahaya Rose Vigita, Golden Julie:
Reliable Link-Based Routing Protocol for Highly Dynamic Mobile Adhoc Networks.
Alejandro César Frery, Eliana S. de Almeida, Osvaldo A. Rosso:
The Generalized Statistical Complexity of PolSAR Data.
G. Nikhita Reddy, G. J. Ugander Reddy:
A Study Of Cyber Security Challenges And Its Emerging Trends On Latest Technologies.
Tao Yang, Ziyang Meng, Dimos V. Dimarogonas, Karl Henrik Johansson:
Periodic Behaviors in Constrained Multi-agent Systems.
Andreas Maurer, Massimiliano Pontil, Bernardino Romera-Paredes:
An Inequality with Applications to Structured Sparsity and Multitask Dictionary Learning.
Liansheng Zhuang, Tsung-Han Chan, Allen Y. Yang, S. Shankar Sastry, Yi Ma:
Sparse Illumination Learning and Transfer for Single-Sample Face Recognition with Image Corruption and Misalignment.
Ayad Ghany Ismaeel, Dina Y. Mikhail:
Design of Locally E-management System for Technical Education Foundation- Erbil.
Shuyu Zhou, Xiandong Zhang, Bo Chen, Steef L. van de Velde:
Tactical Fixed Job Scheduling with Spread-Time Constraints.
(Withdrawn) Network Multiple-Input and Multiple-Output for Wireless Local Area Networks.
Jingjin Yu, Mac Schwager, Daniela Rus:
Correlated Orienteering Problem and its Application to Informative Path Planning for Persistent Monitoring Tasks.
Abubakar Sadiq Bappah:
Appraisal of Social Learning Potentials in Some Trending Mobile Computing Applications.
Qinfeng Shi, Mark D. Reid, Tibério S. Caetano, Anton van den Hengel, Zhenhua Wang:
A Hybrid Loss for Multiclass and Structured Prediction.
Martin Hofmann, Georg Moser:
Amortised Resource Analysis and Typed Polynomial Interpretations (extended version).
Rashid Ahmed, John A. Avaritsiotis:
MCA Learning Algorithm for Incident Signals Estimation: A Review.

Nino Vincenzo Verde, Giuseppe Ateniese, Emanuele Gabrielli, Luigi Vincenzo Mancini, Angelo Spognardi:
No NAT'd User left Behind: Fingerprinting Users behind NAT from NetFlow Records alone.
G. Vijay Kumar, Ravikumar S. Raykundaliya, P. Naga Prasad:
Proactive Web Server Protocol for Complaint Assessment.
Prajwal R. Thakare, K. Hanumantha Rao:
Anomaly Detection Based on Access Behavior and Document Rank Algorithm.
Saïd Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi:
Revisiting the Learned Clauses Database Reduction Strategies.
Arthur Guez, David Silver, Peter Dayan:
Better Optimism By Bayes: Adaptive Planning with Rich Models.
Mohammed Javed, P. Nagabhushan, B. B. Chaudhuri:
Direct Processing of Run Length Compressed Document Image for Segmentation and Characterization of a Specified Block.
Alhussein Fawzi, Mike E. Davies, Pascal Frossard:
Dictionary learning for fast classification based on soft-thresholding.
Rajesh R. Chauhan, G. S. Praveen Kumar:
A Novel Approach to Detect Spam Worms Propagation with Monitoring the Footprinting.
Radoslaw Klimek:
A System for Deduction-based Formal Verification of Workflow-oriented Software Models.
Radoslaw Klimek:
Generating Logical Specifications from Requirements Models for Deduction-based Formal Verification.
Djallel Bouneffouf:
Recommandation mobile, sensible au contexte de contenus évolutifs: Contextuel-E-Greedy.
Mingmin Chen, Shizhuo Yu, Nico Franz, Shawn Bowers, Bertram Ludäscher:
Euler/X: A Toolkit for Logic-based Taxonomy Integration.
Sorin Adam Matei, Nicholas K. Rauh, Eric Kansa:
A New Approach to Reporting Archaeological Surveys: Connecting Rough Cilicia, Visible Past and Open Context through loose coupling and 3d codes.
Ankit Singh Rawat, Dimitris S. Papailiopoulos, Alexandros G. Dimakis, Sriram Vishwanath:
Locality and Availability in Distributed Storage.
Xintong Yu, Xiaohan Liu, Yisong Chen:
Foreground segmentation based on multi-resolution and matting.
Wenxi Liu, Antoni B. Chan, Rynson W. H. Lau, Dinesh Manocha:
Leveraging Long-Term Predictions and Online-Learning in Agent-based Multiple Person Tracking.
Razvan Stefanescu, Adrian Sandu, Ionel Michael Navon:
Comparison of POD reduced order strategies for the nonlinear 2D Shallow Water Equations.
Amed Leiva-Mederos, José A. Senso, Sandor Dominguez-Velasco, Pedro Hipola:
Authoris: a tool for authority control in the semantic web.
Pawan Tamta, Bhagwati Prasad Pande, H. S. Dhami:
Reduction of Maximum Flow Network Interdiction Problem from The Clique Problem.
Jun Ohkubo:
Nonlinear Kalman filter based on duality relations between continuous and discrete-state stochastic processes.
Wen Wang, Zhen Cui, Hong Chang, Shiguang Shan, Xilin Chen:
Deeply Coupled Auto-encoder Networks for Cross-view Classification.
Farhad Shirani Chaharsooghi, S. Sandeep Pradhan:
An Achievable Rate-Distortion Region for the Multiple Descriptions Problem.
Cheol Jeong, Won-Yong Shin:
Ad Hoc Networking With Rate-Limited Infrastructure: Generalized Capacity Scaling.
Tao Feng, Qianqian Wu, Haipeng Zhang:
Key parameters generation of the navigation data of GPS Simulator.
Tobias Kuhn, Mate Levente Nagy, Thaibinh Luong, Michael Krauthammer:
Mining Images in Biomedical Publications: Detection and Analysis of Gel Diagrams.
Martin A. Coleman:
Freedom From Restriction, Freedom Of A Restriction: A Comparison Of Some Open Source Software Licenses.
Piotr Skowron, Krzysztof Rzadca:
We Are Impatient: Algorithms for Geographically Distributed Load Balancing with (Almost) Arbitrary Load Functions.
Adish Singla, Ilija Bogunovic, Gábor Bartók, Amin Karbasi, Andreas Krause:
Near-Optimally Teaching the Crowd to Classify.



Smitha N. Pai, K. C. Shet, H. S. Mruthyunjaya:
In-network Aggregation using Efficient Routing Techniques for Event Driven Sensor Network.
Radu Iosif, Adam Rogalewicz, Tomás Vojnar:
Deciding Entailments in Inductive Separation Logic with Tree Automata.
Leo van Iersel, Steven Kelk, Nela Lekic, Chris Whidden, Norbert Zeh:
Hybridization Number on Three Trees.
Gregory Z. Gutin, Mark Jones, Bin Sheng, Magnus Wahlström:
Parameterized Directed $k$-Chinese Postman Problem and $k$ Arc-Disjoint Cycles Problem on Euler Digraphs.
Vedat Kavalci, Aybars Ural, Orhan Dagdeviren:
Distributed Vertex Cover Algorithms For Wireless Sensor Networks.
Mohammed Abufouda:
A Framework for Enhancing Performance and Handling Run-Time Uncertainty in Self-Adaptive Systems.
Niloofar Rastin, Mansoor Zolghadri Jahromi:
Using content features to enhance performance of user-based collaborative filtering performance of user-based collaborative filtering.
Yuichi Yoshida:
A Characterization of Locally Testable Affine-Invariant Properties via Decomposition Theorems.
Carlo Kleber da Silva Rodrigues:
Analyzing Peer Selection Policies for BitTorrent Multimedia On-Demand Streaming Systems in Internet.
Anitha Mary M. O. Chacko, P. M. Dhanya:
Handwritten Character Recognition In Malayalam Scripts- A Review.
Yasser M. Abd El-Latif:
Surfaces Representation with Sharp Features Using Sqrt(3) and Loop Subdivision Schemes.
S. Saibharath, J. Aarthi:
Virtual Backbone Trees for Most Minimal Energy Consumption and Increasing Network Lifetime In WSNs.
Nyagudi Musandu Nyagudi:
Humanitarian Algorithms : A Codified Key Safety Switch Protocol for Lethal Autonomy.
Akshai Aggarwal, Savita Gandhi, Nirbhay Chaubey:
Performance Analysis of AODV, DSDV and DSR in MANETs.
Wolfgang John, Alisa Devlic, Zhemin Ding, David Jocha, András Kern, Mario Kind, Andreas Köpsel, Viktor Nordell, Sachin Sharma, Pontus Sköldström, Dimitri Staessens, Attila Takács, Steffen Topp, F.-Joachim Westphal, Hagen Woesner, Andreas Gladisch:
Split Architecture for Large Scale Wide Area Networks.
Nikhita Tripathi, Nikhil Saxena, Sonal Soni:
Design of an Amplifier through Second Generation Current Conveyor.
J. N. Laska, W. F. Bradley, Thomas W. Rondeau, Keith E. Nolan, B. Vigoda:
Compressive sensing for dynamic spectrum access networks: Techniques and tradeoffs.
Peter Bailis, Alan Fekete, Michael J. Franklin, Ali Ghodsi, Joseph M. Hellerstein, Ion Stoica:
Coordination-Avoiding Database Systems.
Carlos Lombardi, Alejandro Ríos, Roel de Vrijer:
Proof terms for infinitary rewriting, progress report.
Youssef Mroueh:
Robust Phase Retrieval and Super-Resolution from One Bit Coded Diffraction Patterns.

Narges Hesami Rostami, Esmaeil Kheirkhah, Mehrdad Jalali:
An Optimized Semantic Web Service Composition Method Based on Clustering and Ant Colony Algorithm.


Zbigniew Lipinski:
On the role of symmetry in solving maximum lifetime problem in two-dimensional sensor networks.
Moritz Hardt, Raghu Meka, Prasad Raghavendra, Benjamin Weitz:
Computational Limits for Matrix Completion.
Vincent Michalski, Roland Memisevic, Kishore Reddy Konda:
Modeling sequential data using higher-order relational features and predictive training.
Sreechakra Goparaju, Salim El Rouayheb, A. Robert Calderbank:
New Codes and Inner Bounds for Exact Repair in Distributed Storage Systems.
Flavio Figueiredo, Jussara M. Almeida, Marcos André Gonçalves, Fabrício Benevenuto:
TrendLearner: Early Prediction of Popularity Trends of User Generated Content.
Ashish Shingade, Archana Ghotkar:
Animation of 3D Human Model Using Markerless Motion Capture Applied To Sports.
U. S. Poornima, V. Suma, H. Vasanth Kumar:
Design Patterns as Quality Influencing Factor in Object Oriented Design Approach.
U. S. Poornima, V. Suma:
Visualization of Object Oriented Modeling from the Perspective of Set theory.

Sangita Gupta, Suma V.:
Prediction of Human Performance Capability during Software Development using Classification.
Sangita Gupta, Suma V.:
Empirical Study on Selection of Team Members for Software Projects - Data Mining Approach.
Adam Trendowicz, Jens Heidrich, Jürgen Münch:
Supporting Process Maturation with the Enhanced CoBRA Method.
Reynold S. Xin, Daniel Crankshaw, Ankur Dave, Joseph E. Gonzalez, Michael J. Franklin, Ion Stoica:
GraphX: Unifying Data-Parallel and Graph-Parallel Analytics.


(Withdrawn) Reversible Squaring Circuit For Low Power Digital Signal Processing.
Bei Yu, Jhih-Rong Gao, David Z. Pan:
Triple Patterning Lithography (TPL) Layout Decomposition using End-Cutting.
Keith Dillon, Yeshaiahu Fainman:
Imaging with Rays: Microscopy, Medical Imaging, and Computer Vision.
Jan Hauffa, Tobias Lichtenberg, Georg Groh:
An evaluation of keyword extraction from online communication for the characterisation of social relations.
Bei Yu, Kun Yuan, Jhih-Rong Gao, David Z. Pan:
E-BLOW: E-Beam Lithography Overlapping aware Stencil Planning for MCC System.
Regina Ammer, Matthias Markl, Vera Jüchter, Carolin Körner, Ulrich Rüde:
Validation Experiments for LBM Simulations of Electron Beam Melting.
Jhih-Rong Gao, Bei Yu, Ru Huang, David Z. Pan:
Self-Aligned Double Patterning Friendly Configuration for Standard Cell Library Considering Placement.
Cristian Toraci, Gabriele Zaccaria, Stefano Ceriani, David Wilson, Marco Fato, Michele Piana:
Sliding window and compressive sensing for low-field dynamic magnetic resonance imaging.
Bei Yu, Kun Yuan, Boyang Zhang, Duo Ding, David Z. Pan:
Layout decomposition for triple patterning lithography.
Bei Yu, Sheqin Dong, Yuchun Ma, Tao Lin, Yu Wang, Song Chen, Satoshi Goto:
Network flow-based simultaneous retiming and slack budgeting for low power design.
Zhenhua Yu, Robert J. Baxley, G. Tong Zhou:
Distributions of Upper PAPR and Lower PAPR of OFDM Signals in Visible Light Communications.
Bei Yu, Sheqin Dong, Song Chen, Satoshi Goto:
Floorplanning and Topology Generation for Application-Specific Network-on-Chip.
Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller:
Introducing Quantified Cuts in Logic with Equality.
Zengfeng Zhang, Lingyang Song, Zhu Han, Walid Saad:
Coalitional Games with Overlapping Coalitions for Interference Management in Small Cell Networks.
Yury Kryvasheyeu, Haohui Chen, Esteban Moro, Pascal Van Hentenryck, Manuel Cebrián:
Performance of Social Network Sensors During Hurricane Sandy.
Yingjie Zhou, Xiangying Qian, Chen Wang, Nicholas F. Maxemchuk:
Distributing Power to Electric Vehicles on a Smart Grid.
Lélia Blin, Pierre Fraigniaud:
Polynomial-Time Space-Optimal Silent Self-Stabilizing Minimum-Degree Spanning Tree Construction.

M. Subha, K. Saravanan:
Achieve Better Ranking Accuracy Using CloudRank Framework for Cloud Services.
Sangeetha Abdu Jyothi, Ankit Singla, Brighten Godfrey, Alexandra Kolla:
Measuring and Understanding Throughput of Network Topologies.
Juho Hirvonen, Joel Rybicki, Stefan Schmid, Jukka Suomela:
Large Cuts with Local Algorithms on Triangle-Free Graphs.
Miikka Hilke, Christoph Lenzen, Jukka Suomela:
Local Approximability of Minimum Dominating Set on Planar Graphs.

Tiziano Flati, Roberto Navigli:
The CQC Algorithm: Cycling in Graphs to Semantically Enrich and Enhance a Bilingual Dictionary.
Nathalie Chaignaud, Valérie Delavigne, Maryvonne Holzem, Jean-Philippe Kotowicz, Alain Loisel:
Étude cognitive des processus de construction d'une requête dans un système de gestion de connaissances médicales.
Ziyang Meng, Tao Yang, Dimos V. Dimarogonas, Karl Henrik Johansson:
Coordinated Output Regulation of Heterogeneous Linear Systems under Switching Topologies.
René van Bevern, Robert Bredereck, Laurent Bulteau, Jiehua Chen, Vincent Froese, Rolf Niedermeier, Gerhard J. Woeginger:
Star Partitions of Perfect Graphs.
Boyu Li, Ping Liang:
Small Cell In-Band Wireless Backhaul in Massive MIMO Systems: A Cooperation of Next-Generation Techniques.
Dibyendu Mukherjee:
A Fast Two Pass Multi-Value Segmentation Algorithm based on Connected Component Analysis.
Emmanuel Baccelli, Oliver Hahm, Matthias Wählisch:
Spontaneous Wireless Networking to Counter Pervasive Monitoring.
Jan Verschelde, Xiangcheng Yu:
GPU acceleration of Newton's method for large systems of polynomial equations in double double and quad double arithmetic.
Ziyang Meng, Tao Yang, Guodong Shi, Dimos V. Dimarogonas, Yiguang Hong, Karl Henrik Johansson:
Cooperative Set Aggregation for Multiple Lagrangian Systems.
Bei Yu, Xiaoqing Xu, Jhih-Rong Gao, David Z. Pan:
Methodology for standard cell compliance and detailed placement for triple patterning lithography.
Luciano N. Grippo, Martín Darío Safe:
On circular-arc graphs having a model with no three arcs covering the circle.
Deliang Fan, Mrigank Sharad, Kaushik Roy:
Design and Synthesis of Ultra Low Energy Spin-Memristor Threshold Logic.
René van Bevern, Robert Bredereck, Jiehua Chen, Vincent Froese, Rolf Niedermeier, Gerhard J. Woeginger:
Network-Based Dissolution.
Tengyuan Liang, Hariharan Narayanan, Alexander Rakhlin:
On Zeroth-Order Stochastic Convex Optimization via Random Walks.
David R. Bild, Yue Liu, Robert P. Dick, Zhuoqing Morley Mao, Dan S. Wallach:
Aggregate Characterization of User Behavior in Twitter and Analysis of the Retweet Graph.
Marc Manzano, Anna Manolova Fagertun, Sarah Ruepp, Eusebi Calle, Caterina M. Scoglio, Ali Sydney, Antonio de la Oliva, Alfonso Muñoz:
Unveiling Potential Failure Propagation Scenarios in Core Transport Networks.
Liang Zheng, Shengjin Wang, Ziqiong Liu, Qi Tian:
Packing and Padding: Coupled Multi-index for Accurate Image Retrieval.
Antoine Deleforge, Florence Forbes, Radu Horaud:
Acoustic Space Learning for Sound Source Separation and Localization on Binaural Manifolds.
Mateus de Oliveira Oliveira:
Automated Verification, Synthesis and Correction of Concurrent Systems via MSO Logic.

Ralph Tanbourgi, Sarabjot Singh, Jeffrey G. Andrews, Friedrich K. Jondral:
Analysis of Non-Coherent Joint-Transmission Cooperation in Heterogeneous Cellular Networks.
Minghui Zhu, Michael W. Otte, Pratik Chaudhari, Emilio Frazzoli:
Game theoretic controller synthesis for multi-robot motion planning Part I : Trajectory based algorithms.
Lachlan J. Gunn, Andrew Allison, Derek Abbott:
A directional coupler attack against the Kish key distribution system.
Lei Wang, Rodrigo Caiado de Lamare, Martin Haardt:
Direction Finding Algorithms with Joint Iterative Subspace Optimization.

Jaideep Mulherkar:
An efficient algorithm for the entropy rate of a hidden Markov model with unambiguous symbols.
Timothy M. Caldwell, Dave Coleman, Nikolaus Correll:
Optimal Parameter Identification for Discrete Mechanical Systems with Application to Flexible Object Manipulation.
Dimitris P. Papamichail, Thomas Caputi, Georgios Papamichail:
The Level Ancestor Problem in Practice.
Bo Wei, Ambuj Varshney, Wen Hu, Neal Patwari, Thiemo Voigt, Chun Tung Chou:
dRTI: Directional Radio Tomographic Imaging.
Pallavi Vijay Chavan, Mohammad Atique, Latesh G. Malik:
Design and Implementation of Hierarchical Visual cryptography with Expansion less Shares.
Jérémie Chalopin, Yoann Dieudonné, Arnaud Labourel, Andrzej Pelc:
Fault-Tolerant Rendezvous in Networks.
Gopalakrishnan Sundararajan, Chris Winstead, Emmanuel Boutillon:
Noisy Gradient Descent Bit-Flip Decoding for LDPC Codes.
Roland Glantz, Henning Meyerhenke, Christian Schulz:
Tree-based Coarsening and Partitioning of Complex Networks.
Daniel Krzywicki, Lukasz Faber, Aleksander Byrski, Marek Kisiel-Dorohinicki:
Computing Agents for Decision Support Systems.
Fabio Celli, Massimo Poesio:
PR2: A Language Independent Unsupervised Tool for Personality Recognition from Text.
Mallesh M. Pai, Aaron Roth, Jonathan Ullman:
An Anti-Folk Theorem for Large Repeated Games with Imperfect Monitoring.
Rui Zhou, Chengfei Liu, Jeffrey Xu Yu, Weifa Liang, Yanchun Zhang:
Efficient Truss Maintenance in Evolving Networks.
Evripidis Bampis, Vincent Chau, Dimitrios Letsios, Giorgio Lucarelli, Ioannis Milis, Georgios Zois:
Energy Efficient Scheduling of MapReduce Jobs.
(Withdrawn) Algorithms for Dynamic Reeb Graphs.
Aniket Bera, Dinesh Manocha:
Realtime Multilevel Crowd Tracking using Reciprocal Velocity Obstacles.
Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi:
Robust Synchronization in Markov Decision Processes.
Alex A. Gorodetsky, Youssef M. Marzouk:
Efficient Localization of Discontinuities in Complex Computational Simulations.
Liang Dai, Kristiaan Pelckmans:
Sparse Estimation From Noisy Observations of an Overdetermined Linear System.
Christopher Amato, George Konidaris, Gabriel Cruz, Christopher A. Maynor, Jonathan P. How, Leslie Pack Kaelbling:
Planning for Decentralized Control of Multiple Robots Under Uncertainty.
Bei Yu, Yen-Hung Lin, Gerard Luk-Pat, Duo Ding, Kevin Lucas, David Z. Pan:
A High-Performance Triple Patterning Layout Decomposer with Balanced Density.

Duo Ding, Bei Yu, David Z. Pan:
GLOW: A global router for low-power thermal-reliable interconnect synthesis using photonic wavelength multiplexing.
Deliang Fan, Mrigank Sharad, Abhronil Sengupta, Kaushik Roy:
Hierarchical Temporal Memory Based on Spin-Neurons and Resistive Memory for Energy-Efficient Brain-Inspired Computing.
Vadim E. Levit, Eugen Mandrescu:
Computing Unique Maximum Matchings in O(m) time for Konig-Egervary Graphs and Unicyclic Graphs.
Duo Ding, Bei Yu, Joydeep Ghosh, David Z. Pan:
EPIC: Efficient prediction of IC manufacturing hotspots with a unified meta-classification formulation.
Yen-Hung Lin, Bei Yu, David Z. Pan, Yih-Lang Li:
TRIAD: a triple patterning lithography aware detailed router.
(Withdrawn) Modeling Switched Behavior with Hybrid Bond Graph: Application to a Tank system.
Jens Steinwandt, Florian Roemer, Martin Haardt, Giovanni Del Galdo:
R-dimensional ESPRIT-type algorithms for strictly second-order non-circular sources and their performance analysis.
Zohaib Khan, Faisal Shafait, Yiqun Hu, Ajmal S. Mian:
Multispectral Palmprint Encoding and Recognition.
Petr Cermák, Alessio Lomuscio, Fabio Mogavero, Aniello Murano:
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications.
Gabriela Ochoa, Sébastien Vérel, Fabio Daolio, Marco Tomassini:
Local Optima Networks: A New Model of Combinatorial Fitness Landscapes.
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma:
Verification of Markov Decision Processes using Learning Algorithms.
Piotr Skowron, Krzysztof Rzadca, Anwitaman Datta:
People are Processors: Coalitional Auctions for Complex Projects.
Stef Graillat, Vincent Lefèvre, Jean-Michel Muller:
On the maximum relative error when computing x^n in floating-point arithmetic.

João Marques-Silva, Mikolás Janota:
Computing Minimal Sets on Propositional Formulae I: Problems & Reductions.
Sukhpal Singh, Inderveer Chana:
Formal Specification Language Based IaaS Cloud Workload Regression Analysis.
Jia-Fei Hong, Kathleen Ahrens, Chu-Ren Huang:
Event Structure of Transitive Verb: A MARVS perspective.
Piotr Skowron, Piotr Faliszewski, Jérôme Lang:
Finding a Collective Set of Items: From Proportional Multirepresentation to Group Recommendation.
Antonis Achilleos:
Complexity Jumps In Multiagent Justification Logic Under Interacting Justifications.
Parth Gupta, Rafael E. Banchs, Paolo Rosso:
Squeezing bottlenecks: exploring the limits of autoencoder semantic representation capabilities.
Ulric J. Ferner, Parastoo Sadeghi, Neda Aboutorab, Muriel Médard:
Scheduling Advantages of Network Coded Storage in Point-to-Multipoint Networks.
Abdelhafid Zitouni:
Rigorous Description Of Design Components Functionality: An Approach Based Contract.


Bei Yu, Sheqin Dong, Song Chen, Satoshi Goto:
Voltage and Level-Shifter Assignment Driven Floorplanning.
Jhih-Rong Gao, Bei Yu, David Z. Pan:
Lithography Hotspot Detection and Mitigation in Nanometer VLSI.
Jan Sykora, Michal Sejnoha, Jirí Sejnoha:
Homogenization of coupled heat and moisture transport in masonry structures including interfaces.
Mladen Kovacevic, Ivan Stanojevic, Vojin Senk:
Information-Geometric Equivalence of Transportation Polytopes.


Sundeep Rangan, Philip Schniter, Alyson K. Fletcher:
On the Convergence of Approximate Message Passing with Arbitrary Matrices.
Aitor Aladren, Sasa Bodiroza, Hamid Reza Chitsaz, J. J. Guerrero, Verena V. Hafner, Kris K. Hauser, Aleksandar Jevtic, Moslem Kazemi, Bruno Lara, Gonzalo López-Nicolás, Peer Neubert, Peter Protzel, Laurel D. Riek, Niko Sünderhauf, Chee Yap:
Proceedings of the 1st Workshop on Robotics Challenges and Vision (RCV2013).
Chao-Kai Wen, Kai-Kit Wong:
Analysis of Compressed Sensing with Spatially-Coupled Orthogonal Matrices.
Mohammad Hassan Lotfi, George Kesidis, Saswati Sarkar:
Market-Based Power Allocation for a Differentially Priced FDMA System.
Abdulaziz Ali, Dieter Bothe:
A graph-theoretical approach for the computation of connected iso-surfaces based on volumetric data.
Pol Blasco, Deniz Gündüz:
Learning-Based Optimization of Cache Content in a Small Cell Base Station.
Jan Heller, Didier Henrion, Tomás Pajdla:
Hand-Eye and Robot-World Calibration by Global Polynomial Optimization.
Alain Couvreur, Ayoub Otmani, Jean-Pierre Tillich:
Polynomial Time Attack on Wild McEliece Over Quadratic Extensions.
Henning Meyerhenke, Peter Sanders, Christian Schulz:
Partitioning Complex Networks via Size-constrained Clustering.
Shafii Muhammad Abdulhamid, Sulaiman Ahmad, Victor O. Waziri, Fatima N. Jibril:
Privacy and National Security Issues in Social Networks: The Challenges.
Martin Klein, Robert Sanderson, Herbert Van de Sompel, Michael L. Nelson:
Real-Time Notification for Resource Synchronization.

Boris Skoric, Sebastiaan de Hoogh, Nicola Zannone:
Flow-based reputation with uncertainty: Evidence-Based Subjective Logic.
Justin Hsu, Marco Gaboardi, Andreas Haeberlen, Sanjeev Khanna, Arjun Narayan, Benjamin C. Pierce, Aaron Roth:
Differential Privacy: An Economic Method for Choosing Epsilon.
Rajeev C. Nongpiur, Dale J. Shpak:
L-infinity Norm Design of Linear-phase Robust Broadband Beamformers using Constrained Optimization.
Chong Zhang, Yu Zhao, Jochen Triesch, Bertram E. Shi:
Intrinsically Motivated Learning of Visual Motion Perception and Smooth Pursuit.
Guido Montúfar, Nihat Ay, Keyan Zahedi:
Expressive Power of Conditional Restricted Boltzmann Machines for Sensorimotor Control.
Rajeev C. Nongpiur, Dale J. Shpak, Andreas Antoniou:
Improved Design Method for Nearly Linear-Phase IIR Filters Using Constrained Optimization.
Muad Abu-Ata, Feodor F. Dragan:
Metric tree-like structures in real-life networks: an empirical study.
Andrea Ballatore, Michela Bertolotto, David C. Wilson:
An evaluative baseline for geo-semantic relatedness and similarity.
B. M. Thippeswamy, S. Reshma, K. Shaila, K. R. Venugopal, S. S. Iyengar, Lalit M. Patnaik:
EDOCR: Energy Density On-demand Cluster Routing in Wireless Sensor Networks.
K. Rajan, Vennila Ramalingam, M. Ganesan:
Machine Learning of Phonologically Conditioned Noun Declensions For Tamil Morphological Generators.
Weina Wang, Lei Ying, Junshan Zhang:
A Minimax Distortion View of Non-Interactive Differential Privacy.
Javier Esparza, Jan Kretínský:
From LTL to Deterministic Automata: A Safraless Compositional Approach.
Chaabane Abdelberi, Mathieu Cunche, Terence Chen, Arik Friedman, Emiliano De Cristofaro, Mohamed Ali Kâafar:
Censorship in the Wild: Analyzing Web Filtering in Syria.

Reza Shokri:
Privacy Games: Optimal Protection Mechanism Design for Bayesian and Differential Privacy.




Ioannis Caragiannis, Angelo Fanelli, Nick Gravin:
Short sequences of improvement moves lead to approximate equilibria in constraint satisfaction games.
Thomas Bosch, Andias Wira-Alam, Brigitte Mathiak:
Designing an Ontology for the Data Documentation Initiative.
Ivan Bliznets, Fedor V. Fomin, Marcin Pilipczuk, Michal Pilipczuk:
A subexponential parameterized algorithm for Proper Interval Completion.
Ivan Bliznets, Fedor V. Fomin, Marcin Pilipczuk, Michal Pilipczuk:
A subexponential parameterized algorithm for Interval Completion.
Matija Piskorec, Nino Antulov-Fantulin, Petra Kralj Novak, Igor Mozetic, Miha Grcar, Irena Vodenska, Tomislav Smuc:
News Cohesiveness: an Indicator of Systemic Risk in Financial Markets.
Anne-Kathrin Schmuck, Jörg Raisch:
Simulation and Bisimulation over Multiple Time Scales in a Behavioral Setting.
(Withdrawn) D numbers theory: a generalization of Dempster-Shafer theory.
Jean-Guillaume Dumas, Thierry Gautier, Clément Pernet, Ziad Sultan:
Parallel computation of echelon forms.
Anne-Kathrin Schmuck, Jörg Raisch:
Constructing (Bi)Similar Finite State Abstractions using Asynchronous $l$-Complete Approximations.
Stefan Schwandter, Alexandre Graell i Amat, Gerald Matz:
Spatially-Coupled LDPC Codes for Decode-and-Forward Relaying of Two Correlated Sources over the BEC.
Liming Pan, Dong Hao, Zhihai Rong, Tao Zhou:
Zero-Determinant Strategies in the Iterated Public Goods Game.
Parikshit Gopalan, Amir Yehudayoff:
Inequalities and tail bounds for elementary symmetric polynomial.
Eike Hermann Müller, Robert Scheichl, Benson Muite, Eero Vainikko:
Petascale elliptic solvers for anisotropic PDEs on GPU clusters.
Hadas Shachnai, Meirav Zehavi:
Faster Computation of Representative Families for Uniform Matroids with Applications.
Xiajun Wang, Song Huang, Song Fu, Krishna Kavi:
Characterizing Workload of Web Applications on Virtualized Servers.
Subarna Tripathi, Youngbae Hwang, Serge J. Belongie, Truong Q. Nguyen:
Improving Streaming Video Segmentation with Early and Mid-Level Visual Processing.

Gábor Vásárhelyi, Csaba Virágh, Gergo Somorjai, Norbert Tarcai, Tamás Szörényi, Tamás Nepusz, Tamás Vicsek:
Outdoor flocking and formation flight with autonomous aerial robots.
Ragavendran Gopalakrishnan, Sherwin Doroudi, Amy R. Ward, Adam Wierman:
Routing and Staffing when Servers are Strategic.
Ragavendran Gopalakrishnan, Jason R. Marden, Adam Wierman:
Potential Games are Necessary to Ensure Pure Nash Equilibria in Cost Sharing Games.
Kangjin Kim, Georgios E. Fainekos:
Revision of Specification Automata under Quantitative Preferences.
Pavel Janovsky, Michal Cáp, Jirí Vokrínek:
Finding Coordinated Paths for Multiple Holonomic Agents in 2-d Polygonal Environment.



Aaron Becker, Chris Ertel, James McLurkin:
Crowdsourcing Swarm Manipulation Experiments: A Massive Online User Study with Large Swarms of Simple Robots.
V. Karthikeyan, A. Vinod, P. Jeyakumar:
An Energy Efficient Neighbour Node Discovery Method for Wireless Sensor Networks.
V. Karthikeyan, V. J. Vijayalakshmi:
Analysis of Carrier Frequency Selective Offset Estimation - Using Zero-IF and ZCZIn MC-DS-CDMA.
V. Karthikeyan, B. Praveen Kumar, S. Suresh Babu, R. Purusothaman, Shijin Thomas:
A Narrative Vehicle Protection Representation for Vehicle Speed Regulator Under Driver Exhaustion - A Study.
Hamza Jeljeli:
Resolution of Linear Algebra for the Discrete Logarithm Problem using GPU and Multi-core Architectures.
Xinyang Deng, Yong Hu, Felix T. S. Chan, Sankaran Mahadevan, Yong Deng:
Parameter estimation based on interval-valued belief structures.
Maxime Janvier, Xavier Alameda-Pineda, Laurent Girin, Radu Horaud:
Sound Representation and Classification Benchmark for Domestic Robots.
Jónathan Heras, Ekaterina Komendantskaya, Martin Schmidt:
Guarding (Co)Recursion in Coalgebraic Logic Programming.

Yoav Goldberg, Omer Levy:
word2vec Explained: deriving Mikolov et al.'s negative-sampling word-embedding method.
Jaehyun Park, Bruno Clerckx:
Multi-user Linear Precoding for Multi-polarized Massive MIMO System under Imperfect CSIT.
Dimitra Panagou, Matthew Turpin, Vijay Kumar:
Decentralized Goal Assignment and Trajectory Generation in Multi-Robot Networks.
Aaron Becker, Erik D. Demaine, Sándor P. Fekete, James McLurkin:
Particle Computation: Designing Worlds to Control Robot Swarms with only Global Signals.
Weina Wang, Lei Ying, Junshan Zhang:
On the Tradeoff between Privacy and Distortion in Differential Privacy.
Nikolaos Mavridis, Nicola Bellotto, Konstantinos Iliopoulos, Nico Van de Weghe:
QTC3D: Extending the Qualitative Trajectory Calculus to Three Dimensions.
H. I. Alzeini, Sh A. Hameed, M. H. Habaebi:
A Framework for Developing Real-Time OLAP algorithm using Multi-core processing and GPU: Heterogeneous Computing.
Eric Angel, Evripidis Bampis, Vincent Chau, Nguyen Kim Thang:
Throughput Maximization in Multiprocessor Speed-Scaling.
Francesco Montorsi, Fabrizio Pancaldi, Giorgio Matteo Vitetta:
Map-Aware Models for Indoor Wireless Localization Systems: An Experimental Study.
Natalya Litvinenko:
Parallel algorithms for problems of cluster analysis with very large amount of data.
Guy Even, Moti Medina, Dana Ron:
Best of Two Local Models: Local Centralized and Local Distributed Algorithms.
Pratik Vinay Gupte, Balaraman Ravindran:
Scalable Positional Analysis for Studying Evolution of Nodes in Networks.
Krishna Gopal Benerjee, Manish K. Gupta:
On Heterogeneous Regenerating Codes and Capacity of Distributed Storage Systems.

Tom Cornebize, Yliès Falcone:
Efficient and Generalized Decentralized Monitoring of Regular Languages.
Claudio Bosco, Daniele de Rigo, Olivier Dewitte, Luca Montanarella:
Towards the reproducibility in soil erosion modeling: a new Pan-European soil erosion map.
Radha Chitta, Rong Jin, Timothy C. Havens, Anil K. Jain:
Scalable Kernel Clustering: Approximate Kernel k-means.
Kayleigh Hyde, Bjørn Kjos-Hanssen:
Nondeterministic automatic complexity of almost square-free and strongly cube-free words.


Vinodhini G. Chandrasekaran:
Performance Evaluation of Machine Learning Classifiers in Sentiment Mining.
Nasri Bin Othman, Erika Fille T. Legara, Vicknesh Selvam, Christopher P. Monterola:
Simulating Congestion Dynamics of Train Rapid Transit using Smart Card Data.
Karthikeyan Shanmugam, Alexandros G. Dimakis:
Bounding Multiple Unicasts through Index Coding and Locally Repairable Codes.
Karthikeyan Shanmugam, Alexandros G. Dimakis, Michael Langberg:
Graph Theory versus Minimum Rank for Index Coding.
Alexandros G. Dimakis, Adam R. Klivans, Murat Kocaoglu, Karthikeyan Shanmugam:
A Smoothed Analysis for Learning Sparse Polynomials.
Fedor V. Fomin, Daniel Lokshtanov, Fahad Panolan, Saket Saurabh:
Representative Sets of Product Families.
Li Qian, Lizhen Liu, Yue Hu:
Analysis of Personalized Information Service System for Digital Libraries.
Kleanthis Thramboulidis:
A Framework for the Implementation of Industrial Automation Systems Based on PLCs.
Toshiyuki Kato, Hideitsu Hino, Noboru Murata:
Sparse Coding Approach for Multi-Frame Image Super Resolution.
Santosh Arvind Adimoolam:
Parametrization of completeness in symbolic abstraction of bounded input linear systems.
Ahmad Khader Haboush:
A Hybrid Modified Semantic Matching Algorithm Based on Instances Detection With Case Study on Renewable Energy.
Suqi Cheng, Huawei Shen, Junming Huang, Wei Chen, Xueqi Cheng:
IMRank: Influence Maximization via Finding Self-Consistent Ranking.
Jonathan Scarlett, Alfonso Martinez, Albert Guillén i Fàbregas:
The Saddlepoint Approximation: A Unification of Exponents, Dispersions and Moderate Deviations.
Nuttakan Pakprod, Panita Wannapiroon:
Development of Interactive Instructional Model Using Augmented Reality based on Edutainment to Enhance Emotional Quotient.
Jeroen van der Ham, Mattijs Ghijsen, Paola Grosso, Cees de Laat:
Trends in Computer Network Modeling Towards the Future Internet.




Ella Gale, Ben de Lacy Costello, Andrew Adamatzky:
Design of a Hybrid Robot Control System using Memristor-Model and Ant-Inspired Based Information Transfer Protocols.
Ella Gale, Ben de Lacy Costello, Andrew Adamatzky:
Does the D.C. Response of Memristors Allow Robotic Short-Term Memory and a Possible Route to Artificial Time Perception?
Lucas Benedicic, Felipe A. Cruz, Tsuyoshi Hamada, Peter Korosec:
A GRASS GIS parallel module for radio-propagation predictions.
Ella Gale, Ben de Lacy Costello, Victor Erokhin, Andrew Adamatzky:
The Short-term Memory (D.C. Response) of the Memristor Demonstrates the Causes of the Memristor Frequency Effect.
Deborah Gater, Attya Iqbal, Jeffrey Davey, Ella Gale:
Connecting Spiking Neurons to a Spiking Memristor Network Changes the Memristor Dynamics.
Farhad Farokhi, André M. H. Teixeira, Cedric Langbort:
Gaussian Cheap Talk Game with Quadratic Cost Functions: When Herding Between Strategic Senders is a Virtue.
Erheng Zhong, Evan Wei Xiang, Wei Fan, Nathan Nan Liu, Qiang Yang:
Friendship Prediction in Composite Social Networks.
Ella Gale, Ben de Lacy Costello, Andrew Adamatzky:
Is Spiking Logic the Route to Memristor-Based Computers?
Sampath Kannan, Claire Mathieu, Hang Zhou:
Graph Verification and Reconstruction via Distance Oracles.
Radha Jagadeesan, James Riely:
Between Linearizability and Quiescent Consistency: Quantitative Quiescent Consistency.
Ella Gale, Ben de Lacy Costello, Andrew Adamatzky:
Boolean Logic Gates From A Single Memristor Via Low-Level Sequential Logic.
Vincenzo Auletta, Ioannis Caragiannis, Diodato Ferraioli, Clemente Galdi, Giuseppe Persiano:
Discrete preference games: social influence through coordination, and beyond.
Filippo Bonchi, Stefan Milius, Alexandra Silva, Fabio Zanasi:
How to Kill Epsilons with a Dagger - A Coalgebraic Take on Systems with Algebraic Label Structure.
Konrad Kulakowski:
Notes on the existence of solutions in the pairwise comparisons method using the Heuristic Rating Estimation approach.
Santiago Aja-Fernández, Gonzalo Vegas-Sánchez-Ferrero, Antonio Tristán-Vega:
Statistical Noise Analysis in SENSE Parallel MRI.
Yasel Garcés Suárez, Esley Torres, Osvaldo Pereira, Claudia Pérez, Roberto Rodríguez:
Application of the Ring Theory in the Segmentation of Digital Images.

Lei Zhang, Hong-Chuan Yang, Mazen O. Hasna:
Generalized Area Spectral Efficiency: An Effective Performance Metric for Green Wireless Communications.
Marcelo Zanchetta do Nascimento, Valério Ramos Batista:
First steps to Virtual Mammography: Simulating external compressions of the breast with the Surface Evolver.
Vincent Cohen-Addad, Zhentao Li, Claire Mathieu, Ioannis Milis:
Energy-efficient algorithms for non-preemptive speed-scaling.
Jan-Peter Calliess, Michael A. Osborne, Stephen J. Roberts:
Conservative collision prediction and avoidance for stochastic trajectories in continuous time and space.
Xiaozhe Wang, Hsiao-Dong Chiang:
Application of Pseudo-Transient Continuation Method in Dynamic Stability Analysis.
Rajeev C. Nongpiur, Dale J. Shpak:
Maximizing the Signal-to-Alias Ratio in Non-Uniform Filter Banks for Acoustic Echo Cancellation.

Enrico Angelelli, Thomas Kalinowski, Reena Kapoor, Martin W. P. Savelsbergh:
Reclaimer Scheduling: Complexity and Algorithms.
Dongdong Ge, Zizhuo Wang, Lai Wei, Jiawei Zhang:
An Improved Algorithm for Fixed-Hub Single Allocation Problem.
Yukun Bao, Tao Xiong, Zhongyi Hu, Mboni Kibelloh:
Exploring gender differences on general and specific computer self-efficacy in mobile learning adoption.

Shixin Luo, Rui Zhang, Teng Joon Lim:
Downlink and Uplink Energy Minimization Through User Association and Beamforming in Cloud RAN.
Keshava M. Elliadka, Robert Morelos-Zaragoza:
Precoding by Priority: A UEP Scheme for RaptorQ Codes.
Jae-Hyeon Parq, Erik Sevre, Sang-Mook Lee:
Effects of Easy Hybrid Parallelization with CUDA for Numerical-Atomic-Orbital Density Functional Theory Calculation.
Bino Sebastian V., A. Unnikrishnan, Kannan Balakrishnan, Ramkumar Padinjare Pisharath Balakrishna:
Morphological filtering on hypergraphs.
Roberto Marazzato, Amelia Carolina Sparavigna:
Extracting Networks of Characters and Places from Written Works with CHAPLIN.
Ingmar Schuster, Patrick Jähnichen:
Bayesian factorization of joint categorical distributions for relational data and classical conditioning models.
Alejandro Fernández, Badie Garzaldeen, Ines Grützner, Jürgen Münch:
Guided Support for Collaborative Modeling, Enactment and Simulation of Software Development Processes.
P. Chaudhari, Dipti P. Rana, Rupa G. Mehta, Narendra. J. Mistry, Mukesh M. Raghuwanshi:
Discretization of Temporal Data: A Survey.
Kittipong Kittichokechai, Tobias J. Oechtering, Mikael Skoglund:
Lossy Source Coding with Reconstruction Privacy.
Xiaofeng Wang, Federico Gobbo, Michael Lane:
Turning Time from Enemy into an Ally Using the Pomodoro Technique.



Cosmin Bonchis, Gabriel Istrate:
Minimum Entropy Submodular Optimization (and Fairness in Cooperative Games).
Jingcheng Liu, Pinyan Lu, Chihao Zhang:
The Complexity of Ferromagnetic Two-spin Systems with External Fields.
Ricardo Blasco-Serrano, Ragnar Thobaben, Mikael Skoglund:
Communication and Interference Coordination.
Ye Wang, Prakash Ishwar, Shantanu Rane:
Secure Two-Party Sampling Primitives are either Useless or Complete.
Patrizio Angelini, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati, Maurizio Patrignani, Vincenzo Roselli:
Morphing Planar Graph Drawings Optimally.

Samuel Danso, Eric Atwell, Owen Johnson:
A Comparative Study of Machine Learning Methods for Verbal Autopsy Text Classification.
Mohammed Javed, P. Nagabhushan, B. B. Chaudhuri:
Automatic Detection of Font Size Straight from Run Length Compressed Text Documents.

Pankaj Malhotra, Puneet Agarwal, Gautam Shroff:
Incremental Entity Resolution from Linked Documents.
Mohammad Jamadi, Farshad Merrikh-Bayat:
New Method for Accurate Parameter Estimation of Induction Motors Based on Artificial Bee Colony Algorithm.
Donia El Kateb, François Fouquet, Johann Bourcier, Yves Le Traon:
Artificial Mutation inspired Hyper-heuristic for Runtime Usage of Multi-objective Algorithms.


Avrim Blum, Jamie Morgenstern, Ankit Sharma, Adam D. Smith:
Privacy-Preserving Public Information for Sequential Games.
Nikhil S. Rao, Robert D. Nowak, Christopher R. Cox, Timothy T. Rogers:
Logistic Regression with Structured Sparsity.
Jacob Hendricks, Matthew J. Patitz, Trent A. Rogers, Scott M. Summers:
The Power of Duples (in Self-Assembly): It's Not So Hip To Be Square.
Saminda Abeyruwan, Andreas Seekircher, Ubbo Visser:
Off-Policy General Value Functions to Represent Dynamic Role Assignments in RoboCup 3D Soccer Simulation.
Chun-Guo Li, Xing Mei, Bao-Gang Hu:
Unsupervised Ranking of Multi-Attribute Objects Based on Principal Curves.
Dengkui Zhu, Boyu Li, Ping Liang:
Normalized Volume of Hyperball in Complex Grassmann Manifold and Its Application in Large-Scale MU-MIMO Communication Systems.
(Withdrawn) Transduction on Directed Graphs via Absorbing Random Walks.
Mingyue Ji, Antonia Maria Tulino, Jaime Llorca, Giuseppe Caire:
Order Optimal Coded Delivery and Caching: Multiple Groupcast Index Coding.
Mingyue Ji, Antonia Maria Tulino, Jaime Llorca, Giuseppe Caire:
Order Optimal Coded Caching-Aided Multicast under Zipf Demand Distributions.
Yupeng Jiang, Dongdai Lin:
On the distinctness of binary sequences derived from $2$-adic expansion of m-sequences over finite prime fields.
Ulrike Becker-Kornstaedt, Daniela Boggio, Jürgen Münch, Alexis Ocampo, Gino Palladino:
Empirically Driven Design of Software Development Processes for Wireless Internet Services.

Dong Nie, Bibo Hao, Zheng Yan, Tingshao Zhu:
Cyber Behavior of Microblog Users: Onlies Versus Others.
Dario Berzano, Jakob Blomer, Predrag Buncic, Ioannis Charalampidis, Gerardo Ganis, Georgios Lestaris, René Meusel:
PROOF as a Service on the Cloud: a Virtual Analysis Facility based on the CernVM ecosystem.
Johannes Köbler, Sebastian Kuhnert, Oleg Verbitsky:
On the Isomorphism Problem for Helly Circular-Arc Graphs.
Evgeniy Pluzhnik, Evgeniy Nikulchev, Simon Payain:
Optimal Control of Applications for Hybrid Cloud Services.
Evgeniy Pluzhnik, Evgeniy Nikulchev, Simon Payain:
Concept of Feedback in Future Computing Models to Cloud Systems.
Toni Adame, Albert Bel, Boris Bellalta, Jaume Barceló, Miquel Oliver:
IEEE 802.11ah: The Wi-Fi Approach for M2M Communications.
Yelena Mandelshtam, Natalia Komarova:
When Learners Surpass their Sources: Mathematical Modeling of Learning from an Inconsistent Source.
Nitin Rawat, Pavel Ni, Rajesh Kumar:
A Fast Compressive Sensing Based Digital Image Encryption Technique using Structurally Random Matrices and Arnold Transform.
Bart M. P. Jansen:
Turing Kernelization for Finding Long Paths and Cycles in Restricted Graph Classes.
Guilherme Dias da Fonseca, Vinícius Gusmão Pereira de Sá, Celina M. H. de Figueiredo:
Linear-Time Approximation Algorithms for Unit Disk Graphs.
Onintra Poobrasert, Waragorn Gestubtim:
Breaking Barriers: Assistive Technology Tool as Educational Software to support Writing.
SaiDhiraj Amuru, Ravi Tandon, Shlomo Shamai:
On the Degrees-of-freedom of the 3-user MISO Broadcast Channel with Hybrid CSIT.

Jayadev Acharya, Ashkan Jafarpour, Alon Orlitsky, Ananda Theertha Suresh:
Near-optimal-sample estimators for spherical Gaussian mixtures.
Leon Andretti Abdillah:
Managing information and knowledge sharing cultures in higher educations institutions.

Hassan Zivari-Fard, Bahareh Akhbari, Mahmoud Ahmadian-Attari, Mohammad Reza Aref:
Multiple Access Wire-tap Channel with Common Message.
Andrea Gianazza, Federico Maggi, Aristide Fattori, Lorenzo Cavallaro, Stefano Zanero:
PuppetDroid: A User-Centric UI Exerciser for Automatic Dynamic Analysis of Similar Android Applications.
Alon Gonen, Dan Rosenbaum, Yonina C. Eldar, Shai Shalev-Shwartz:
The Sample Complexity of Subspace Learning with Partial Information.


Anke van Zuylen, James Bieron, Frans Schalekamp, Gexin Yu:
An Upper Bound on the Number of Circular Transpositions to Sort a Permutation.
Raja Jurdak:
The Impact of Cost and Network Topology on Urban Mobility: A Study of Public Bicycle Usage in 2 U.S. Cities.
Sze-Hang Chan, Jeanno Cheung, Edward Wu, Heng Wang, Chi-Man Liu, Xiaoqian Zhu, Shaoliang Peng, Ruibang Luo, Tak Wah Lam:
MICA: A fast short-read aligner that takes full advantage of Intel Many Integrated Core Architecture (MIC).
Vincent Y. F. Tan, Pierre Moulin:
Second- and Higher-Order Asymptotics For Erasure and List Decoding.
D. Johnvictor, G. Selvavinayagam:
Survey on Sparse Coded Features for Content Based Face Image Retrieval.
Kiran Koshy Thekumparampil, Andrew Thangaraj, Rahul Vaze:
Sub-Modularity of Waterfilling with Applications to Online Basestation Allocation.

Vikash K. Mansinghka, Eric Jonas:
Building fast Bayesian computing machines out of intentionally stochastic, digital parts.

Ankit Kaushik, Friedrich K. Jondral:
On the Estimation of Channel State Transitions for Cognitive Radio Systems.

Jan A. Bergstra, C. A. Middelburg:
On algorithmic equivalence of instruction sequences for computing bit string functions.
Elli Androulaki, Christian Cachin, Dan Dobre, Marko Vukolic:
Erasure-Coded Byzantine Storage with Separate Metadata.

Fabian Fuchs, Dorothea Wagner:
Arbitrary Transmission Power in the SINR Model: Local Broadcasting, Coloring and MIS.
Tomás Brázdil, David Klaska, Antonín Kucera, Petr Novotný:
Minimizing Running Costs in Consumption Systems.
Marijke H. L. Bodlaender, Magnús M. Halldórsson:
Beyond Geometry : Towards Fully Realistic Wireless Models.
Hiba Abdallah, Quentin Mérigot:
On the reconstruction of convex sets from random normal measurements.
Nicolás Emilio Bordenabe, Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Optimal Geo-Indistinguishable Mechanisms for Location Privacy.
Sigal Sina, Sarit Kraus, Avi Rosenfeld:
Using the Crowd to Generate Content for Scenario-Based Serious-Games.
Ian Dunwell, Panagiotis Petridis, Petros Lameras, Maurice Hendrix, Stella Doukianou, Mark Gaved:
Assessing the Reach and Impact of Game-Based Learning Approaches to Cultural Competency and Behavioural Change.
Hazaël Jones, Nicolas Sabouret, Ionut Damian, Tobias Baur, Elisabeth André, Kaska Porayska-Pomsta, Paola Rizzo:
Interpreting social cues to generate credible affective reactions of virtual job interviewers.
Marwen Belkaid, Nicolas Sabouret:
A logical model of Theory of Mind for virtual agents in the context of job interview simulation.
Nicolas Sabouret, Hazaël Jones, Magalie Ochs, Mathieu Chollet, Catherine Pelachaud:
Expressing social attitudes in virtual agents for social training games.
Stefano Piana, Alessandra Staglianò, Francesca Odone, Alessandro Verri, Antonio Camurri:
Real-time Automatic Emotion Recognition from Body Gestures.
Xiangrong Zeng, Mário A. T. Figueiredo:
Exploiting Two-Dimensional Group Sparsity in 1-Bit Compressive Sensing.
Xiangrong Zeng, Mário A. T. Figueiredo:
Binary Fused Compressive Sensing: 1-Bit Compressive Sensing meets Group Sparsity.
Xiangrong Zeng, Mário A. T. Figueiredo:
Robust Binary Fused Compressive Sensing using Adaptive Outlier Pursuit.
Krisjanis Prusis, Andris Ambainis:
A Tight Lower Bound on Certificate Complexity in Terms of Block Sensitivity and Sensitivity.
Shafii Muhammad Abdulhamid, Hassan Abdulazeez, Ochoche Abraham, Umar Mohammed:
Analysing Membership Profile Privacy Issues in Online Social Networks.

Hanie Sedghi, Anima Anandkumar, Edmond A. Jonckheere:
Guarantees for Multi-Step Stochastic ADMM in High Dimensions.
Mahmuda Ahmed, Sophia Karagiorgou, Dieter Pfoser, Carola Wenk:
A Comparison and Evaluation of Map Construction Algorithms.


Mingsheng Ying, Nengkun Yu, Yuan Feng:
Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs.
Animashree Anandkumar, Rong Ge, Majid Janzamin:
Guaranteed Non-Orthogonal Tensor Decomposition via Alternating Rank-1 Updates.
Chao Wang:
Collision free autonomous navigation and formation building for non-holonomic ground robots.
Wiroonsak Santipach, Kritsada Mamat, Ake Tonsirisittikun, Kaemmatat Jiravanstit:
Power and Bit Allocation for Wireless OFDM Channels with Finite-Rate Feedback and Subcarrier Clustering.
Kensuke Nakanishi, Shinsuke Hara, Takahiro Matsuda, Kenichi Takizawa, Fumie Ono, Ryu Miura:
Synchronization-Free Delay Tomography Based on Compressed Sensing.
D. Thilagavathi, Antony Selvadoss Thanamani:
A Survey on Dynamic Job Scheduling in Grid Environment Based on Heuristic Algorithms.
Michael A. Bender, Jeremy T. Fineman, Seth Gilbert, Maxwell Young:
NoiseOFF: A Backoff Protocol for a Dynamic, Noisy World.
Dinesh Rabindran, Delbert Tesar:
Study of the Dynamic Coupling Term (μ) in Parallel Force/Velocity Actuated Systems.
Christian von der Weth, Manfred Hauswirth:
Analysing Parallel and Passive Web Browsing Behavior and its Effects on Website Metrics.
Yu Lu:
Implementing and an empirical study of rank aggregation approaches based on real world instances.
Rami Mochaourab, Eduard A. Jorswieck:
Coalitional Games in MISO Interference Channels: Epsilon-Core and Coalition Structure Stable Set.
Holger Neu, Thomas Hanne, Jürgen Münch, Stefan Nickel, Andreas Wirsen:
Simulation-Based Risk Reduction for Planning Inspections.
Tanusree Chatterjee, Abhishek Bhattacharya:
VHDL Modeling of Intrusion Detection & Prevention System (IDPS) A Neural Network Approach.


Alexander Daniel Jones, Ben Adcock, Anders C. Hansen:
On Asymptotic Incoherence and its Implications for Compressed Sensing of Inverse Problems.


Parthajit Mohapatra, Chandra R. Murthy:
The Role of Limited Transmitter Cooperation in Secure Communication over the Interference Channel.
Doreswamy, Chanabasayya M. Vastrad:
Important Molecular Descriptors Selection Using Self Tuned Reweighted Sampling Method for Prediction of Antituberculosis Activity.
Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.
Massimo Cafaro, Roberto Civino, Barbara Masucci:
On the Unconditional Security of Hierarchical Key Assignment Schemes.

Antonia Maria Masucci, Alonso Silva:
Strategic Resource Allocation for Competitive Influence in Social Networks.
Khalid Jebari, Mohammed Madiafi, Abdelaziz El Moujahid:
An Evolutionary approach for solving Shrödinger Equation.
Gianpaolo Brignoli, Stefania Costantini, Ottavio M. D'Antona, Alessandro Provetti:
Characterizing and computing stable models of logic programs: The non-stratified case.
Lilian Weng, Filippo Menczer:
Topicality and Social Impact: Diverse Messages but Focused Messengers.
Nicholas Rotella, Michael Blösch, Ludovic Righetti, Stefan Schaal:
State Estimation for a Humanoid Robot.
Wayes Tushar, Bo Chai, Chau Yuen, David B. Smith, H. Vincent Poor:
Energy Management for a User Interactive Smart Community: A Stackelberg Game Approach.
Jacob D. Abernethy, Sindhu Kutty, Sébastien Lahaie, Rahul Sami:
Information Aggregation in Exponential Family Markets.
Doreswamy, Chanabasayya M. Vastrad:
Predictive Comparative QSAR analysis of Sulfathiazole Analogues as Mycobacterium Tuberculosis H37RV Inhabitors.
Jianqin Zhou, Wanquan Liu, Guanglu Zhou:
On the $k$-error linear complexity for $p^n$-periodic binary sequences via hypercube theory.
Xiao Cai, Zhaoyang Zhang, Huazi Zhang, Chunguang Li:
Soft Consistency Reconstruction: A Robust 1-bit Compressive Sensing Algorithm.
Huazi Zhang, Zhaoyang Zhang, Huaiyu Dai:
Mobile Conductance and Gossip-based Information Spreading in Mobile Networks.
Huazi Zhang, Zhaoyang Zhang, Xiaoming Chen, Rui Yin:
Energy Efficient Joint Source and Channel Sensing in Cognitive Radio Sensor Networks.
Huazi Zhang, Zhaoyang Zhang, Huaiyu Dai:
Rateless-Coding-Assisted Multi-Packet Spreading over Mobile Networks.
Huazi Zhang, Zhaoyang Zhang, Huaiyu Dai, Rui Yin, Xiaoming Chen:
Distributed Spectrum-Aware Clustering in Cognitive Radio Sensor Networks.


Huazi Zhang, Zhaoyang Zhang, Chau Yuen:
Distributed Compressed Wideband Sensing in Cognitive Radio Sensor Networks.
Masoud Abbaszadeh:
A Generalized Robust Filtering Framework for Nonlinear Differential-Algebraic Systems.
Peng Zhang, Wei Chen, Xiaoming Sun, Yajun Wang, Jialin Zhang:
Minimizing Seed Set Selection with Probabilistic Coverage Guarantee in a Social Network.
Francisco Facchinei, Simone Sagratella, Gesualdo Scutari:
Parallel Algorithms for Big Data Optimization.
Olga Ohrimenko, Michael T. Goodrich, Roberto Tamassia, Eli Upfal:
The Melbourne Shuffle: Improving Oblivious Storage in the Cloud.
Vito Veneziano, Austen W. Rainer, Sheraz Haider:
When Agile Is Not Good Enough: an initial attempt at understanding how to make the right decision.
Yongqiang Wang, Yutaka Hori, Shinji Hara, Francis J. Doyle III:
Collective oscillation period of inter-coupled biological negative cyclic feedback oscillators.
Shuanfeng Xu, Hanlei Wang, Duzhou Zhang, Baohua Yang:
Adaptive Reactionless Motion Control for Free-Floating Space Manipulators.
Shamim Ripon, Mohammad Salah Uddin, Aoyan Barua:
Web Service Composition - BPEL vs cCSP Process Algebra.
Shamim Ripon, Sk. Jahir Hossain, Keya Azad, Mehidee Hassan:
Logic Verification of Product-Line Variant Requirements.
Zhaoguang Peng, Yu Lu, Alice Miller, Chris W. Johnson, Tingdi Zhao:
Formal modelling and quantitative analysis of satellite navigation systems.
Han Yan, Mingzhe Hou:
Three-Dimensional Integrated Guidance and Control Based on Small-Gain Theorem.
Bo Peng, Zhipeng Lü, T. C. E. Cheng:
A Tabu Search/Path Relinking Algorithm to Solve the Job Shop Scheduling Problem.
V. Karthikeyan V. J. Vijayalakshmi:
Control Loop Feedback Mechanism for Generic Array Logic Chip Multiprocessor.


Zhen Kan, Justin Klotz, Eduardo L. Pasiliao Jr., John M. Shea, Warren E. Dixon:
Decentralized Rendezvous of Nonholonomic Robots with Sensing and Connectivity Constraints.
Zhen Kan, Justin Klotz, Eduardo L. Pasiliao Jr., Warren E. Dixon:
Containment Control for a Social Network with State-Dependent Connectivity.
Omar S. Soliman, Elshimaa A. R. Elgendi:
A Hybrid Estimation of Distribution Algorithm with Random Walk local Search for Multi-mode Resource-Constrained Project Scheduling problems.

Kevin Buchin, Irina Kostitsyna, Maarten Löffler, Rodrigo I. Silveira:
Region-based approximation of probability distributions (for visibility between imprecise points among obstacles).
(Withdrawn) Discriminative Functional Connectivity Measures for Brain Decoding.
S. Somasundaram, Peng Li, Nigel H. Parsons, Rodrigo Caiado de Lamare:
Data-Adaptive Reduced-Dimension Robust Beamforming Algorithms.
Andre Gustavo Degraf Uchoa, Cornelius T. Healy, Rodrigo Caiado de Lamare:
Repeat Accumulate Based Designs for LDPC Codes on Fading Channels.
Reza Parseh, Kimmo Kansanen:
On Estimation Error Outage for Scalar Gauss-Markov Signals Sent Over Fading Channels.
Changxin Gao, Feifei Chen, Jin-Gang Yu, Rui Huang, Nong Sang:
Exemplar-based Linear Discriminant Analysis for Robust Object Tracking.
Lavdim Kurtaj, Ilir Limani, Vjosa Shatri, Avni Skeja:
The Cerebellum: New Computational Model that Reveals its Primary Function to Calculate Multibody Dynamics Conform to Lagrange-Euler Formulation.
Chin Keong Ho, Di Yuan, Lei Lei, Sumei Sun:
On Power and Load Coupling in Cellular Networks for Energy Optimization.
Shiyang Leng, Derrick Wing Kwan Ng, Robert Schober:
Power Efficient and Secure Multiuser Communication Systems with Wireless Information and Power Transfer.
Cunsheng Ding, Longjiang Qu, Qiang Wang, Jin Yuan, Pingzhi Yuan:
Permutation trinomials over finite fields with even characteristic.
Ugur Turan, Ismail Hakki Toroslu:
Privacy Preserving Secure Decomposition Algorithm for Attribute Based Access Control Mechanism.


Richard McClatchey, Andrew Branson, Ashiq Anjum, Peter Bloodsworth, Irfan Habib, Kamran Munir, Jetendr Shamdasani, Kamran Soomro:
Providing Traceability for Neuroimaging Analyses.
Andrew Branson, Richard McClatchey, Jean-Marie Le Goff, Jetendr Shamdasani:
CRISTAL : A Practical Study in Designing Systems to Cope with Change.
Kamran Munir, Saad Liaquat Kiani, Khawar Hasham, Richard McClatchey, Andrew Branson, Jetendr Shamdasani:
An Integrated e-science Analysis Base for Computation Neuroscience Experiments and Analysis.


Richard McClatchey, Andrew Branson, Jetendr Shamdasani:
Designing Reusable Systems that Can Handle Change - Description-Driven Systems : Revisiting Object-Oriented Principles.
Adriana Romero, Petia Radeva, Carlo Gatta:
No more meta-parameter tuning in unsupervised sparse feature learning.
Tomomi Matsui, Noriyoshi Sukegawa, Atsushi Miyauchi:
Fractional programming formulation for the vertex coloring problem.
Theo Lynn, Philip D. Healy, Richard McClatchey, John P. Morrison, Claus Pahl, Brian Lee:
The Case for Cloud Service Trustmarks and Assurance-as-a-Service.
Da-Cheng Nie, Ya-Hui An, Qiang Dong, Yan Fu, Tao Zhou:
Information Filtering via Balanced Diffusion on Bipartite Networks.
Karthik Ramachandra, Mahendra Chavan, Ravindra Guravannavar, S. Sudarshan:
Program Transformations for Asynchronous and Batched Query Submission.
A. Karim Abu-Affash, Paz Carmi, Anat Parush Tzur:
Dual Power Assignment via Second Hamiltonian Cycle.
Seyed Mostafa Kia, Hossein Rahmani, Reza Mortezaei, Mohsen Ebrahimi Moghaddam, Amer Namazi:
A Novel Scheme for Intelligent Recognition of Pornographic Images.
Eric Hitimana, Oubong Gwun:
Automatic Estimation of Live Coffee Leaf Infection based on Image Processing Techniques.
Mohammad Tofighi, Alican Bozkurt, Ahmet Enis Çetin:
Deconvolution Using Projections Onto The Epigraph Set of a Convex Cost Function.
Jérôme Kunegis:
Polcovar: Software for Computing the Mean and Variance of Subgraph Counts in Random Graphs.
Priyanka Sharma, Garimella Rama Murthy:
Mathematical Modelling of Energy Wastage in Absence of Levelling and Sectoring in Wireless Sensor Networks.
Huanguo Zhang, Sha Lv, Wei Li, Xun Qu:
A Novel Face Recognition Method using Nearest Line Projection.
Hassan Zivari-Fard, Bahareh Akhbari, Mahmoud Ahmadian-Attari, Mohammad Reza Aref:
Compound Multiple Access Channel with Confidential Messages.
(Withdrawn) Predictive Interval Models for Non-parametric Regression.
Alexandra Cetto, Michael Netter, Günther Pernul, Christian Richthammer, Moritz Riesner, Christian Roth, Johannes Sänger:
Friend Inspector: A Serious Game to Enhance Privacy Awareness in Social Networks.
Arman Farhang, Nicola Marchetti, Linda Doyle, Behrouz Farhang-Boroujeny:
Filter Bank Multicarrier for Massive MIMO.
Shervin Javdani, Yuxin Chen, Amin Karbasi, Andreas Krause, J. Andrew Bagnell, Siddhartha S. Srinivasa:
Near Optimal Bayesian Active Learning for Decision Making.
Elmar Peise, Paolo Bientinesi:
A Study on the Influence of Caching: Sequences of Dense Linear Algebra Kernels.
Jinyuan Chen, Petros Elia, Syed Ali Jafar:
On the Vector Broadcast Channel with Alternating CSIT: A Topological Perspective.

Zhen Kan, John M. Shea, Warren E. Dixon:
Navigation Function Based Decentralized Control of A Multi-Agent System with Network Connectivity Constraints.
Andrew Branson, Jetendr Shamdasani, Richard McClatchey:
A Description Driven Approach for Flexible Metadata Tracking.
Renato J. Cintra, Fábio M. Bayer, Vítor de A. Coutinho, Sunera Kulasekera, Arjuna Madanayake:
DCT-like Transform for Image and Video Compression Requires 10 Additions Only.
Daniel S. Berger, Philipp Gland, Sahil Singla, Florin Ciucu:
Exact Analysis of TTL Cache Networks: The Case of Caching Policies driven by Stopping Times.
Nikos Katzouris, Alexander Artikis, George Paliouras:
Incremental Learning of Event Definitions with Inductive Logic Programming.
Razvan Stefanescu, Adrian Sandu, Ionel Michael Navon:
POD/DEIM Strategies for reduced data assimilation systems.
Linhong Zhu, Aram Galstyan, James Cheng, Kristina Lerman:
Tripartite Graph Clustering for Dynamic Sentiment Analysis on Social Media.



Masoud Abbaszadeh:
Generalized Nonlinear Robust Energy-to-Peak Filtering for Differential Algebraic Systems.
Ashraf A. Shahin:
Multi-Dimensional Customization Modelling Based On Metagraph For Saas Multi-Tenant Applications.
Saurabh Kumar Ariyan, Eshant Bagela, Akanksha Priyadarshin:
Abiot: A Low cost agile sonic pest control tricopter.
Tsung-Hui Chang, Mingyi Hong, Xiangfeng Wang:
Multi-Agent Distributed Optimization via Inexact Consensus ADMM.


Dani Korpi, Lauri Anttila, Ville Syrjälä, Mikko Valkama:
Widely-Linear Digital Self-Interference Cancellation in Direct-Conversion Full-Duplex Transceiver.
Rom Aschner, Matthew J. Katz:
Bounded-Angle Spanning Tree: Modeling Networks with Angular Constraints.
Eun Jung Kim, Sebastian Ordyniak, Stefan Szeider:
The Complexity of Repairing, Adjusting, and Aggregating of Extensions in Abstract Argumentation.
Naoise Holohan, Douglas J. Leith, Oliver Mason:
Differential Privacy in Metric Spaces: Numerical, Categorical and Functional Data Under the One Roof.
Wei Zeng, An Zeng, Hao Liu, Ming-Sheng Shang, Tao Zhou:
Uncovering the information core in recommender systems.
Athanasios Kehagias, Dieter Mitsche, Pawel Pralat:
The Role of Visibility in Pursuit / Evasion Games.
Sanjay Chawla, Kiran Garimella, Aristides Gionis, Dominic Tsang:
Backbone discovery in traffic networks.
Ilias N. Flaounas, Thomas Lansdall-Welfare, Panagiota Antonakaki, Nello Cristianini:
The Anatomy of a Modular System for Media Content Analysis.
Jobin Wilson, Santanu Chaudhury, Brejesh Lall, Prateek Kapadia:
Improving Collaborative Filtering based Recommenders using Topic Modelling.
Sepp Hartung, Clemens Hoffmann, André Nichterlein:
Improved Upper and Lower Bound Heuristics for Degree Anonymization in Social Networks.
Jetendr Shamdasani, Andrew Branson, Richard McClatchey:
Towards Provenance and Traceability in CRISTAL for HEP.
Georgios Askalidis, Randall A. Berry, Vijay G. Subramanian:
Explaining Snapshots of Network Diffusions: Structural and Hardness Results.
Vitaly Feldman, David Xiao:
Sample Complexity Bounds on Differentially Private Learning via Communication Complexity.
Ayad Ghany Ismaeel, Nur Gaylan Hamead:
Mobile GIS and Open Source Platform Based on Android: Technology for System Pregnant Women.
David Gross, Felix Krahmer, Richard Kueng:
Improved Recovery Guarantees for Phase Retrieval from Coded Diffraction Patterns.
Silvia Mitter, Claudia Wagner, Markus Strohmaier:
A categorization scheme for socialbot attacks in online social networks.
Silvia Mitter, Claudia Wagner, Markus Strohmaier:
Understanding the impact of socialbot attacks in online social networks.
Stéphane Boucheron, Elisabeth Gassiat, Mesrob I. Ohannessian:
About Adaptive Coding on Countable Alphabets: Max-Stable Envelope Classes.
Jasine Babu, Manu Basavaraju, L. Sunil Chandran, Deepak Rajendraprasad, Naveen Sivadasan:
Approximating the Cubicity of Trees.
Pablo Dorta-González, María-Isabel Dorta-González, Dolores-Rosa Santos-Peñate, Rafael Suárez-Vega:
Journal topic citation potential and between-field comparisons: The topic normalized impact factor.
Sakrapee Paisitkriangkrai, Chunhua Shen, Anton van den Hengel:
Large-margin Learning of Compact Binary Image Encodings.
Jen-Hong Tan, U. Rajendra Acharya:
Active spline model: A shape based model-interactive segmentation.
Samy Chambi, Daniel Lemire, Owen Kaser, Robert Godin:
Better bitmap performance with Roaring bitmaps.
Anton van den Hengel, John W. Bastian, Anthony R. Dick, Lachlan Fleming:
Deconstruction of compound objects from image sets.
Nicolas Moro, Amine Dehbaoui, Karine Heydemann, Bruno Robisson, Emmanuelle Encrenaz:
Electromagnetic fault injection: towards a fault model on a 32-bit microcontroller.
Shama N. Islam, Salman Durrani, Parastoo Sadeghi:
A Novel User Pairing Scheme for Functional Decode-and-Forward Multi-way Relay Network.
Tianyang Bai, Robert W. Heath Jr.:
Coverage and Rate Analysis for Millimeter Wave Cellular Networks.
Seunghyun Lee, Liang Liu, Rui Zhang:
Collaborative Wireless Energy and Information Transfer in Interference Channel.
Tung-Wei Kuo, Kate Ching-Ju Lin, Ming-Jer Tsai:
On the Construction of Data Aggregation Tree with Minimum Energy Cost in Wireless Sensor Networks: NP-Completeness and Approximation Algorithms.
Nicolas Moro, Karine Heydemann, Emmanuelle Encrenaz, Bruno Robisson:
Formal verification of a software countermeasure against instruction skip attacks.
Woon Hau Chin, Zhong Fan, Russell J. Haines:
Emerging Technologies and Research Challenges for 5G Wireless Networks.
Sigve Hortemo Sæther, Jan Arne Telle, Martin Vatshelle:
Solving MaxSAT and #SAT on structured CNF formulas.
Sharayu A. Aghav, RajneeshKaur Bedi:
Authentication Mechanism for Resistance to Password Stealing and Reuse Attack.
Changtao Zhong, Mostafa Salehi, Sunil Shah, Marius Cobzarenco, Nishanth Sastry, Meeyoung Cha:
Social Bootstrapping: How Pinterest and Last.fm Social Communities Benefit by Borrowing Links from Facebook.
Cristian Bisconti, Angelo Corallo, Laura Fortunato, Antonio A. Gentile:
Considerations about multistep community detection.
Zorana Jancic, Ivana Micic, Jelena Ignjatovic, Miroslav Ciric:
Two-in-one: determinization and state reduction of fuzzy automata.
Atul Singh Kushwah:
Performance Analysis of 2*4 MIMO-MC-CDMA in Rayleigh Fading Channel Using ZF-Decoder.
Xiaochen Xia, Dongmei Zhang, Kui Xu, Youyun Xu:
Performance Analysis of Interference-Limited Three-Phase Two-Way Relaying with Direct Channel.
Ankur Sahai:
Renewable Energy Prediction using Weather Forecasts for Optimal Scheduling in HPC Systems.
Jordi Roca-Lacostena, Jesús Cerquides:
Even more generic solution construction in Valuation-Based Systems.
Ming-Xia Li, Zhi-Qiang Jiang, Wen-Jie Xie, Salvatore Miccichè, Michele Tumminello, Wei-Xing Zhou, Rosario N. Mantegna:
A comparative analysis of the statistical properties of large mobile phone calling networks.
Raphaël Bleuse, Thierry Gautier, João V. F. Lima, Grégory Mounié, Denis Trystram:
Scheduling data flow program in xkaapi: A new affinity based Algorithm for Heterogeneous Architectures.
Lukás Holík, Lorenzo Clemente:
Proceedings 15th International Workshop on Verification of Infinite-State Systems, INFINITY 2013, Hanoi, Vietnam, 14th October 2013.
Anna V. Korolkova, Dmitry S. Kulyabov, Leonid A. Sevastyanov:
Tensor computations in computer algebra systems.
Iain Rice, Roger Benton, Les Hart, David Lowe:
Analysis of Multibeam SONAR Data using Dissimilarity Representations.
Ahmed Sahlol, Cheng Suen:
A Novel Method for the Recognition of Isolated Handwritten Arabic Characters.
Ming-Deh Huang, Anand Kumar Narayanan:
Computing discrete logarithms in subfields of residue class rings.
Pierre De Loor, Kristen Manac'h, Jacques Tisseau:
Enaction-Based Artificial Intelligence: Toward Coevolution with Humans in the Loop.
Jalal Mahmud, Jilin Chen, Jeffrey Nichols:
Why Are You More Engaged? Predicting Social Engagement from Word Use.

Jetendr Shamdasani, Andrew Branson, Richard McClatchey, Coralie Blanc, Florent Martin, Pierre Bornand, Sandra Massonnat, Olivier Gattaz, Patrick Emin:
CRISTAL-ISE : Provenance Applied in Industry.
Oliver James, Heung-No Lee:
On Eigenvalues of Wishart Matrix for Analysis of Compressive Sensing Systems.
Hazlina Haron, Abdul Azim Abdul Ghani:
A method to identify potential ambiguous Malay words through Ambiguity Attributes mapping: An exploratory Study.
Chandrima Sarkar, Raamesh Deshpande, Chad L. Myers:
Analysis of Barcode sequence features to find anomalies due to amplification Bias.

Yu-Fang Chen, Bow-Yaw Wang, Di-De Yen:
A Finite Exact Representation of Register Automata Configurations. 16-34
Gal Katz, Doron A. Peled:
Synthesis of Parametric Programs using Genetic Programming and Model Checking. 70-84
Lada A. Adamic, Thomas M. Lento, Eytan Adar, Pauline C. Ng:
Information Evolution in Social Networks.
Junil Choi, David J. Love, Taeyoung Kim:
Trellis-Extended Codebooks and Successive Phase Adjustment: A Path from LTE-Advanced to FDD Massive MIMO Systems.
Hartmut Klauck, Ved Prakash:
An Improved Interactive Streaming Algorithm for the Distinct Elements Problem.
Sushmita Ruj, Arindam Pal:
Analyzing Cascading Failures in Smart Grids under Random and Targeted Attacks.

Mohammad Reza Keshtkaran, Zhi Yang:
A Fast, Robust Algorithm for Power Line Interference Cancellation in Neural Recording.
Mark T. Keane, Aaron Gerow:
It's distributions all the way down!: Second order changes in statistical distributions also occur.
Minglong Zhang, Lu Lu, Soung Chang Liew:
An Optimal Decoding Strategy for Physical-layer Network Coding over Multipath Fading Channel.
Broes De Cat, Marc Denecker, Peter J. Stuckey, Maurice Bruynooghe:
Lazy Model Expansion: Interleaving Grounding with Search.
Seema Sethia, Shouri Chatterjee, Sunil Kale, Amit Gupta, Smruti R. Sarangi:
Three Experiments to Analyze the Nature of the Heat Spreader.
Yin Tat Lee, Ka Chun Lam, Lok Ming Lui:
Large Deformation Registration via n-dimensional Quasi-conformal Maps.
Peter Foster, Matthias Mauch, Simon Dixon:
Sequential Complexity as a Descriptor for Musical Similarity.
Xin Yuan, Patrick Llull, Xuejun Liao, Jianbo Yang, Guillermo Sapiro, David J. Brady, Lawrence Carin:
Low-Cost Compressive Sensing for Color Video and Depth.
Jakub Nalepa, Zbigniew J. Czech:
A Parallel Memetic Algorithm to Solve the Vehicle Routing Problem with Time Windows.
Austin R. Benson, Jason D. Lee, Bartek Rajwa, David F. Gleich:
Scalable methods for nonnegative matrix factorizations of near-separable tall-and-skinny matrices.
Kamesh Namuduri, Gayatri Mehta:
Fundamental Limits of Video Coding: A Closed-form Characterization of Rate Distortion Region from First Principles.
Laurens van der Maaten, Minmin Chen, Stephen Tyree, Kilian Q. Weinberger:
Marginalizing Corrupted Features.
Fabian Pedregosa, Michael Eickenberg, Philippe Ciuciu, Alexandre Gramfort, Bertrand Thirion:
Data-driven HRF estimation for encoding and decoding models.
Ichrak Amdouni, Cédric Adjih, Pascale Minet:
Joint Routing and STDMA-based Scheduling to Minimize Delays in Grid Wireless Sensor Networks.
Ossi Kaltiokallio, Hüseyin Yigitler, Riku Jäntti:
A Three-State Received Signal Strength Model for Device-free Localization.
Xiangqun Fu, Wansu Bao, Jianhong Shi, Fada Li, Yuchao Zhang:
Parameter security characterization of knapsack public-key crypto under quantum computing.
Naren Ramakrishnan, Patrick Butler, Sathappan Muthiah, Nathan Self, Rupinder Paul Khandpur, Parang Saraf, Wei Wang, Jose Cadena, Anil Vullikanti, Gizem Korkmaz, Chris J. Kuhlman, Achla Marathe, Liang Zhao, Ting Hua, Feng Chen, Chang-Tien Lu, Bert Huang, Aravind Srinivasan, Khoa Trinh, Lise Getoor, Graham Katz, Andy Doyle, Chris Ackermann, Ilya Zavorin, Jim Ford, Kristen Maria Summers, Youssef Fayed, Jaime Arredondo, Dipak Gupta, David Mares:
'Beating the news' with EMBERS: Forecasting Civil Unrest using Open Source Indicators.
Serena Ivaldi, Vincent Padois, Francesco Nori:
Tools for dynamics simulation of robots: a survey based on user feedback.
Nikolaos Nodarakis, Spyros Sioutas, Dimitrios Tsoumakos, Giannis Tzimas, Evaggelia Pitoura:
Rapid AkNN Query Processing for Fast Classification of Multidimensional Data in the Cloud.
Michael Clear, Constantinos Patsakis, Paul Laird:
Lightweight Self-Bootstrapping Multiparty Computations of Time-Series Data with Custom Collusion Tolerance.
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus:
Nested Regular Path Queries in Description Logics.
Pesos Umami, Leon Andretti Abdillah, Ilman Zuhri Yadi:
Sistem pendukung keputusan pemberian beasiswa bidik misi.
Peter Mark Benes, Ivo Bukovsky, Matous Cejnek, Jan Kalivoda:
Neural Network Approach to Railway Stand Lateral Skew Control.
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa:
Synthesizing Finite-state Protocols from Scenarios and Requirements.
Pablo M. Olmos, David G. M. Mitchell, Dmitri V. Truhachev, Daniel J. Costello Jr.:
Improving the Finite-Length Performance of Spatially Coupled LDPC Codes by Connecting Multiple Code Chains.
S. Kumarasawamy, P. L. Srikanth, S. H. Manjula, K. R. Venugopal, Lalit M. Patnaik:
Two Stage Prediction Process with Gradient Descent Methods Aligning with the Data Privacy Preservation.
T. Shivaprakash, K. B. Raja, K. R. Venugopal, S. S. Iyengar, Lalit M. Patnaik:
Two-Hop Routing with Traffic-Differentiation for QoS Guarantee in Wireless Sensor Networks.
Leena Giri G., P. L. Srikanth, S. H. Manjula, K. R. Venugopal, Lalit M. Patnaik:
Mathematical Model of Semantic Look - An Efficient Context Driven Search Engine.
Jean-Charles Faugère, Pierre-Jean Spaenlehauer, Jules Svartz:
Sparse Gröbner Bases: the Unmixed Case.

Dennis Boldt, Henning Hasemann, Alexander Kröller, Marcel Karnstedt, Christian von der Weth:
SPARQL for Networks of Embedded Systems.
Henning Hasemann, Alexander Kröller, Max Pagel:
The Wiselib TupleStore: A Modular RDF Database for the Internet of Things.
Beiyu Rong, Chun-Hung Liu, Shuguang Cui:
Optimal Discrete Power Control in Poisson-Clustered Ad Hoc Networks.
Fredrik Rusek, Ove Edfors:
An Information Theoretic Charachterization of Channel Shortening Receivers.
Yarin Gal:
Semantics, Modelling, and the Problem of Representation of Meaning - a Brief Survey of Recent Literature.
Szabolcs Iván, Judit Nagy-György:
On nonpermutational transformation semigroups with an application to syntactic complexity.
Mohammed Saad ElBamby, Mehdi Bennis, Walid Saad, Matti Latva-aho:
Dynamic Uplink-Downlink Optimization in TDD-based Small Cell Networks.
Akira Matsubayashi:
Separator-Based Graph Embedding into Multidimensional Grids with Small Edge-Congestion.
Hanlei Wang:
Similarity Decomposition Approach to Leader-Follower Oscillatory Synchronization of Networked Mechanical Systems.
Konstantinos Poularakis, George Iosifidis, Vasilis Sourlas, Leandros Tassiulas:
Multicast-aware Caching for Small Cell Networks.
Brijesh B. Mehta, Udai Pratap Rao:
A Novel approach as Multi-place Watermarking for Security in Database.
Meera Sitharam, Mohamad Tarifi, Menghan Wang:
An Incidence Geometry approach to Dictionary Learning.
Menghan Wang, Meera Sitharam:
Cayley Analysis of Mechanism Configuration Spaces using CayMos: Software Functionalities and Architecture.
Yoav Shechtman, Yonina C. Eldar, Oren Cohen, Henry N. Chapman, Jianwei Miao, Mordechai Segev:
Phase Retrieval with Application to Optical Imaging.
Osman Hegazy, Omar S. Soliman, Mustafa Abdul Salam:
A Machine Learning Model for Stock Market Prediction.
Hanlei Wang, Long Cheng:
Second-Order Consensus of Networked Mechanical Systems With Communication Delays.
Justyna Grudzinska, Marek W. Zawadowski:
Generalized Quantifiers on Dependent Types: A System for Anaphora.
David Gamarnik, Madhu Sudan:
Performance of the Survey Propagation-guided decimation algorithm for the random NAE-K-SAT problem.

Eric V. Strobl, Shyam Visweswaran:
Markov Blanket Ranking using Kernel-based Conditional Dependence Measures.
David Lopez-Paz, Suvrit Sra, Alexander J. Smola, Zoubin Ghahramani, Bernhard Schölkopf:
Randomized Nonlinear Component Analysis.
Skyler J. Cranmer, Elizabeth J. Menninga, Peter J. Mucha:
Kantian fractionalization predicts the conflict propensity of the international system.
Dario Zubillaga, Geovany Cruz, Luis Daniel Aguilar, Jorge Zapotecatl, Nelson Fernández, José Aguilar, David A. Rosenblueth, Carlos Gershenson:
Measuring the Complexity of Self-organizing Traffic Lights.
Ginestra Bianconi, Sergey N. Dorogovtsev, Jose F. F. Mendes:
Mutually connected component of network of networks.
Gérard D. Cohen, Emanuela Fachini, János Körner:
Zero-error capacity of binary channels with memory.
Francesco Bertini, Lorenzo Dal Mas, Luca Vassio, Enrico Ampellio:
Multidiscipinary Optimization For Gas Turbines Design.
Andrea Lancichinetti, M. Irmak Sirer, Jane X. Wang, Daniel E. Acuña, Konrad P. Körding, Luís A. Nunes Amaral:
A high-reproducibility and high-accuracy method for automated topic classification.
S. Tabrez Ali:
Defmod - Parallel multiphysics finite element code for modeling crustal deformation during the earthquake/rifting cycle.

Mohammad Gheshlaghi Azar, Alessandro Lazaric, Emma Brunskill:
Stochastic Optimization of a Locally Smooth Function under Correlated Bandit Feedback.
Thomas Wentworth, Ilse Ipsen:
kappa_SQ: A Matlab package for randomized sampling of matrices with orthonormal columns.
Jirí Matousek, Eric Sedgwick, Martin Tancer, Uli Wagner:
Embeddability in the 3-sphere is decidable.
Oren Rippel, Michael A. Gelbart, Ryan P. Adams:
Learning Ordered Representations with Nested Dropout.
Jasper Snoek, Kevin Swersky, Richard S. Zemel, Ryan P. Adams:
Input Warping for Bayesian Optimization of Non-stationary Functions.
Julius Reiss:
A family of energy stable, skew-symmetric finite difference schemes on collocated grids.
Henrik Sandberg, Jean-Charles Delvenne, Nigel J. Newton, Sanjoy K. Mitter:
A Maximum Work Theorem for Maxwell's Demons.
Veronika Cheplygina, David M. J. Tax, Marco Loog:
Dissimilarity-based Ensembles for Multiple Instance Learning.
Yarin Gal, Mark van der Wilk, Carl E. Rasmussen:
Distributed Variational Inference in Sparse Gaussian Process Regression and Latent Variable Models.

Maria Cameron, Eric Vanden-Eijnden:
Flows in Complex Networks: Theory, Algorithms, and Application to Lennard-Jones Cluster Rearrangement.
Zoltán Szabó, Arthur Gretton, Barnabás Póczos, Bharath K. Sriperumbudur:
Consistent, Two-Stage Sampled Distribution Regression via Mean Embedding.
Yong Chen, Neelesh A. Patankar:
Fluctuating Immersed Material (FIMAT) Dynamics for Fully Resolved Simulation of the Brownian Motion of Particles.
Jesse G. Meyer:
In silico Proteome Cleavage Reveals Iterative Digestion Strategy for High Sequence Coverage.
SayedMasoud Hashemi, Soosan Beheshti, Patrick R. Gill, Narinder S. Paul, Richard S. C. Cobbold:
Efficient Low Dose X-ray CT Reconstruction through Sparsity-Based MAP Modeling.
Luke Postle, Robin Thomas:
Five-list-coloring graphs on surfaces I. Two lists of size two in planar graphs.
Keisuke Hakuta, Hisayoshi Sato, Tsuyoshi Takagi:
Some properties of $τ$-adic expansions on hyperelliptic Koblitz curves.
Guido F. Montúfar, Razvan Pascanu, Kyunghyun Cho, Yoshua Bengio:
On the Number of Linear Regions of Deep Neural Networks.
Zachary Chase Lipton, Charles Elkan, Balakrishnan Narayanaswamy:
F1-Optimal Thresholding in the Multi-Label Setting.
Yuchen Zhang, Martin J. Wainwright, Michael I. Jordan:
Lower bounds on the performance of polynomial-time algorithms for sparse linear regression.
Xiao-Yong Yan, Petter Minnhagen:
Maximum Entropy, Word-Frequency, Chinese Characters, and Multiple Meanings.
Qi Wang, John E. Taylor:
Quantifying Human Mobility Perturbation and Resilience in Natural Disasters.
Michael H. Albert, Mathilde Bouvel:
Operators of equivalent sorting power and related Wilf-equivalences.
Shie Mannor, Vianney Perchet, Gilles Stoltz:
Approachability in unknown games: Online learning meets multi-objective optimization.

Ian R. Petersen:
Guaranteed Non-quadratic Performance for Quantum Systems with Nonlinear Uncertainties.
Mohammad Tofighi, Kivanç Köse, A. Enis Çetin:
Signal Reconstruction Framework Based On Projections Onto Epigraph Set Of A Convex Cost Function (PESC).
Flavia Bonomo, Luciano N. Grippo, Martin Milanic, Martín Darío Safe:
Graphs of Power-Bounded Clique-Width.
Rafael E. Carrillo, Jason D. McEwen, Yves Wiaux:
Sparsity averaging for radio-interferometric imaging.
Niko Brümmer, Albert Swart, David A. van Leeuwen:
A comparison of linear and non-linear calibrations for speaker recognition.
Elias Salomão Helou Neto, Yair Censor, T.-B. Chen, I.-L. Chern, Alvaro R. De Pierro, Ming Jiang, H. H.-S. Lu:
String-Averaging Expectation-Maximization for Maximum Likelihood Estimation in Emission Tomography.


Marco Compagnoni, Roberto Notari, Fabio Antonacci, Augusto Sarti:
A comprehensive analysis of the geometry of TDOA maps in localisation problems.
Hyokun Yun, Parameswaran Raman, S. V. N. Vishwanathan:
Ranking via Robust Binary Classification and Parallel Parameter Estimation in Large-Scale Data.

Jeffrey Tsang, Rajesh Pereira:
Taking all positive eigenvectors is suboptimal in classical multidimensional scaling.

Anthony Scemama, Nicolas Renon, Mathias Rapacioli:
A Sparse SCF algorithm and its parallel implementation: Application to DFTB.
Arkady Zgonnikov, Ihor Lubashevsky, Shigeru Kanemoto, Toru Miyazawa, Takashi Suzuki:
To react or not to react? Intrinsic stochasticity of human control in virtual stick balancing.


Marc Claesen, Frank De Smet, Johan A. K. Suykens, Bart De Moor:
A Robust Ensemble Approach to Learn From Positive and Unlabeled Data Using SVM Base Models.
Xiaohao Yang, Pavol Juhas, Christopher L. Farrow, Simon J. L. Billinge:
PDFgetXgui: a graphical user interface for PDFgetX3 for high throughput pair distribution function transformation and visualization.
Roland Memisevic, Kishore Reddy Konda, David Krueger:
Zero-bias autoencoders and the benefits of co-adapting features.

Mark M. Wilde, Andreas J. Winter:
Strong converse for the quantum capacity of the erasure channel for almost all codes.
Vaibhav Srivastava, Naomi Ehrich Leonard:
Collective Decision-Making in Ideal Networks: The Speed-Accuracy Tradeoff.
Robert Granger, Thorsten Kleinjung, Jens Zumbrägel:
Breaking '128-bit Secure' Supersingular Binary Curves (or how to solve discrete logarithms in ${\mathbb F}_{2^{4 \cdot 1223}}$ and ${\mathbb F}_{2^{12 \cdot 367}}$).

Jirí Fiala, Pavel Klavík, Jan Kratochvíl, Roman Nedela:
Algorithmic Aspects of Regular Graph Covers with Applications to Planar Graphs.
Benjamin A. Burton, William Pettersson:
Fixed parameter tractable algorithms in combinatorial topology.
Franz J. Király, Martin Ehler:
The Algebraic Approach to Phase Retrieval and Explicit Inversion at the Identifiability Threshold.
Alejandro Tejedor, Anthony Longjas, Ilya Zaliapin, Efi Foufoula-Georgiou:
Network robustness assessed within a dual connectivity perspective.
Andreas Barth, Werner Marx, Lutz Bornmann, Rüdiger Mutz:
On the origins and the historical roots of the Higgs boson research from a bibliometric perspective.
Alex Davies, Zoubin Ghahramani:
The Random Forest Kernel and other kernels for big data from random partitions.
James Robert Lloyd, David K. Duvenaud, Roger B. Grosse, Joshua B. Tenenbaum, Zoubin Ghahramani:
Automatic Construction and Natural-Language Description of Nonparametric Regression Models.
Amar Shah, Andrew Gordon Wilson, Zoubin Ghahramani:
Student-t Processes as Alternatives to Gaussian Processes.
Daniel Dombek, Zuzana Masáková, Tomás Vávra:
Confluent Parry numbers, their spectra, and integers in positive- and negative-base number systems.
Hung Nien, Jeffrey A. Fessler:
A convergence proof of the split Bregman method for regularized least-squares problems.
Hung Nien, Jeffrey A. Fessler:
Fast X-ray CT image reconstruction using the linearized augmented Lagrangian method with ordered subsets.

Julien Mairal:
Incremental Majorization-Minimization Optimization with Application to Large-Scale Machine Learning.
Dave Wecker, Krysta M. Svore:
LIQUi|>: A Software Design Architecture and Domain-Specific Language for Quantum Computing.
Jeff Alstott, Pietro Panzarasa, Mikail Rubinov, Ed Bullmore, Petra E. Vértes:
A Unifying Framework for Measuring Weighted Rich Clubs by Integrating Randomized Controls.
Aleksandr Y. Aravkin, Anju Kambadur, Aurelie C. Lozano, Ronny Luss:
Sparse Quantile Huber Regression for Efficient and Robust Estimation.
Sohan Seth, John Shawe-Taylor, Samuel Kaski:
Retrieval of Experiments by Efficient Estimation of Marginal Likelihood.
Thomas A. Lasko:
Efficient Inference of Gaussian Process Modulated Renewal Processes with Application to Medical Event Data.
Markus Demleitner, Patrick Dowler, Raymond L. Plante, Guy Rixon, Mark Taylor:
IVOA Recommendation: TAPRegExt: a VOResource Schema Extension for Describing TAP Services.
Patrick Dowler, Markus Demleitner, Mark Taylor, Doug Tody:
IVOA Recommendation: DALI: Data Access Layer Interface Version 1.0.
Shane Mansfield, Rui Soares Barbosa:
Extendability in the Sheaf-theoretic Approach: Construction of Bell Models from Kochen-Specker Models.
Mir Ehsan Hesam Sadati, Jamshid Bagherzadeh Mohasefi:
The Application of Imperialist Competitive Algorithm for Fuzzy Random Portfolio Selection Problem.
Raja Hafiz Affandi, Emily B. Fox, Ryan P. Adams, Ben Taskar:
Learning the Parameters of Determinantal Point Process Kernels.

Emmanuelle Anceaume, Yann Busnel, Bruno Sericola:
New results on a generalized coupon collector problem using Markov chains.
Reinhold Schneider, André Uschmajew:
Convergence results for projected line-search methods on varieties of low-rank matrices via Łojasiewicz inequality.
Gleb Beliakov:
On fast matrix-vector multiplication with a Hankel matrix in multiprecision arithmetics.
Francis Bell, Chunyu Zhao, Ahmet Sacan:
PDBCirclePlot: A Novel Visualization Method for Protein Structures.


David M. Johnson, Caiming Xiong, Jason J. Corso:
Semi-Supervised Nonlinear Distance Metric Learning via Forests of Max-Margin Cluster Hierarchies.
Divyanshu Vats, Richard G. Baraniuk:
Path Thresholding: Asymptotically Tuning-Free High-Dimensional Sparse Regression.



Yuzhe Li, Daniel E. Quevedo, Vincent K. N. Lau, Subhrakanti Dey, Ling Shi:
Transmission Power Scheduling for Energy Harvesting Sensor in Remote State Estimation.
Enrico Ampellio, Luca Vassio:
Artificial super-Bee enhanced Colony (AsBeC) algorithm for numerical optimization with limited function evaluations Part 1: technologies and benchmark validation.
David K. Duvenaud, Oren Rippel, Ryan P. Adams, Zoubin Ghahramani:
Avoiding pathologies in very deep networks.
Roberto Calandra, Jan Peters, Carl Edward Rasmussen, Marc Peter Deisenroth:
Manifold Gaussian Processes for Regression.

Stefan Bäuml, Matthias Christandl, Karol Horodecki, Andreas J. Winter:
Limitations on Quantum Key Repeaters.
Issac Shams, Saeede Ajorlou, Kai Yang:
A predictive analytics approach to reducing avoidable hospital readmission.

Siddhant Sahu, V. Sugumaran:
Bayesian Sample Size Determination of Vibration Signals in Machine Learning Approach to Fault Diagnosis of Roller Bearings.
Nicolas Broutin, Olivier Devillers, Ross Hemsley:
Efficiently navigating a random Delaunay triangulation.
Ola M. Hegazy, Ayman M. Bahaa Eldin, Yasser H. Dakroury:
Quantum Secure Direct Communication using Entanglement and Super Dense Coding.
Xuzhen Zhu, Hui Tian, Shi-Min Cai, Junming Huang, Tao Zhou:
Predicting missing links via significant paths.

Alberto Montina, Stefan Wolf:
Necessary and sufficient optimality conditions for classical simulations of quantum communication processes.
Aharon Ben-Tal, Elad Hazan, Tomer Koren, Shie Mannor:
Oracle-Based Robust Optimization via Online Learning.
Ruihu Li, Xueliang Li, Yaping Mao, Meiqin Wei:
Formally self-dual linear binary codes from circulant graphs.
Dharshana Kasthurirathna, Mahendra Piraveenan, Gnanakumar Thedchanamoorthy:
On the influence of topological characteristics on robustness of complex networks.
Mojtaba Nourian, Alex S. Leong, Subhrakanti Dey, Daniel E. Quevedo:
An Optimal Transmission Strategy for Kalman Filtering over Packet Dropping Links with Imperfect Acknowledgements.
Mojtaba Nourian, Alex S. Leong, Subhrakanti Dey:
Optimal Energy Allocation for Kalman Filtering over Packet Dropping Links with Imperfect Acknowledgments and Energy Harvesting Constraints.
Simon Portegies Zwart, Tjarda Boekholt:
On the minimal accuracy required for simulating self-gravitating systems by means of direct N-body methods.
Yasin Abbasi-Yadkori, Peter L. Bartlett, Alan Malek:
Linear Programming for Large-Scale Markov Decision Problems.



Dirk Helbing, Dirk Brockmann, Thomas Chadefaux, Karsten Donnay, Ulf Blanke, Olivia Woolley-Meza, Mehdi Moussaïd, Anders Johansson, Jens Krause, Sebastian Schutte, Matjaz Perc:
How to Save Human Lives with Complexity Science.

Edvin Wedin, Peter Hegarty:
The Hegselmann-Krause dynamics for continuous agents and a regular opinion function do not always lead to consensus.

Jozef Gruska, Daowen Qiu, Shenggen Zheng:
Generalizations of the distributed Deutsch-Jozsa promise problem.
Emre Sarigöl, René Pfitzner, Ingo Scholtes, Antonios Garas, Frank Schweitzer:
Predicting Scientific Success Based on Coauthorship Networks.

Sergio Caracciolo, Carlo Lucibello, Giorgio Parisi, Gabriele Sicuro:
A Scaling Hypothesis for the Euclidean Bipartite Matching Problem.
Andrzej Dudek, Marek Karpinski, Andrzej Rucinski, Edyta Szymanska:
Approximate Counting of Matchings in (3, 3)-Hypergraphs.
Sean P. Meyn, Prabir Barooah, Ana Busic, Yue Chen, Jordan Ehren:
Ancillary Service to the Grid Using Intelligent Deferrable Loads.
Martin Helmer:
An Algorithm to Compute the Topological Euler Characteristic, Chern-Schwartz-MacPherson Class and Segre Class of Projective Varieties.



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
